def numeric_positive

bendvy-ecs-core@0.1.0.4 · restore_raw.bend:23

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D

23def numeric_positive(path:String,raw:D.Raw,positive:Bool,value:U32,nonzero:Bool) -> Decoded<U32>:
24  match positive nonzero:
25    case True{} False{}:invalid(~U32,path,"positive unsigned 32-bit integer",raw)
26    case _ _:Value{value}