def Cmp.disc_gt

lawful-words@0.1.0.0 · proof_bytes.bend:997

import Base

997def Cmp.disc_gt(c: Cmp) -> Type:
998  match c:
999    case GT{}:
1000      Empty
1001    case o:
1002      Unit