def signed

bendvy-ecs-core@0.1.0.4 · restore_raw_number.bend:24

import Base

24def signed(valid:Bool,magnitude:Nat) -> Checked:
25  match valid:
26    case True{}:Value{U32.from_nat(magnitude)}
27    case False{}:Invalid{}