def bits.if
bend-kit-regex@0.8.0.0 · regex.bend:874
import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base
874def bits.if(ok: Bool, +fuel: Nat, +prog: List<&2, Inst>) -> Maybe<&2, Bits>:
875 match ok:
876 case False{}:
877 None{}
878 case True{}:
879 +w0 = eps(fuel, prog, 0, True{}, False{})
880 +wn = eps(fuel, prog, 0, False{}, False{})
881 Some{Bits{bits.sets(prog, fuel, prog, 0), Ew.mask(w0), Ew.hit(w0), Ew.hit(eps(fuel, prog, 0, True{}, True{})), Ew.mask(wn), Ew.hit(eps(fuel, prog, 0, False{}, True{}))}}