def h.isS

bend-kit-collections@0.1.4.1 · PROOF.bend:1736

import bend-kit-collections@0.1.4.1/PROOF.bend as PROOF

import Base

1736def h.isS(-V: Data, m: Maybe<&2, V>) -> Type:
1737  match m:
1738    case None{}:
1739      Empty
1740    case Some{x}:
1741      Unit

Uses (3)

Used by (1)

bend-kit-collections@0.1.4.1/PROOF:h.some_none.e