def binary_integer

bendvy-ecs-core@0.1.0.3 · decode_data.bend:142

import bendvy-ecs-core@0.1.0.3/decode_data.bend as DecodeData

import Base

142def binary_integer(+high:U32,+low:U32) -> Bool:
143  binary_integer_checked(binary_numeric(high,low),U32.is_lt(binary64_exponent(high),1076))

Uses (6)

Used by (1)

bendvy-ecs-core@0.1.0.3/decode_data:expand