def is_nil_t

lawful-fields@0.1.1.0 · proof_cut.bend:38

import Base

38def is_nil_t(xs: List<&2, U32>) -> Type:
39  match xs:
40    case Nil{}:
41      Unit
42    case Con{x, t}:
43      Empty