def Bool.check

bendtorch@1.3.0.0 · tensor.bend:94

import Base

94# a proof that b is True, when it is: where shapes read at run time enter, a program checks a condition once
95def Bool.check(b: Bool) -> Maybe<&1, {True{} == b : Bool}>:
96  match b:
97    case True{}:
98      Some{{==}}
99    case False{}:
100      None{}