def number

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

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

31def number(+path:String,+raw:D.Raw,positive:Bool) -> Decoded<U32>:
32  numeric_checked(path,raw,positive,Number.checked(raw))