~/jendhub

def rd.flag.of

bend-kit-runner@0.13.0.1 · runner.bend:698

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

698def rd.flag.of(+m: U32) -> Dec(Bool):
699  Bool.pick(Dec(Bool), U32.is_eq(m, 0), Dec.pure(Bool, False{}), Bool.pick(Dec(Bool), U32.is_eq(m, 1), Dec.pure(Bool, True{}), Dec.fail(Bool)))

Uses (7)

Used by (1)