def is_some_t

lawful-bytes@0.1.1.0 · proof_append.bend:59

import Base

59def is_some_t(m: Maybe<&2, U32>) -> Type:
60  match m:
61    case None{}:
62      Unit
63    case Some{x}:
64      Empty