def is_some_t

lawful-bytes@0.1.1.0 · proof_find.bend:22

import Base

22def is_some_t(m: Maybe<&2, U32>) -> Type:
23  match m:
24    case None{}:
25      Unit
26    case Some{x}:
27      Empty