def Short.edge

import bend-kit-fmt@0.1.0.0/fmt.bend as Fmt

import Base

416def Short.edge(e: Bool) -> Nat:
417  match e:
418    case True{}:
419      1n
420    case False{}:
421      0n

Uses (2)