def budget

bendvy-ecs-core@0.1.0.3 · decode_size.bend:20

import bendvy-ecs-core@0.1.0.3/decode_size.bend as DecodeSize

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

20def budget(codec:D.Codec,raw:D.Raw) -> Nat:
21  Nat.mul(4n,Nat.mul(codec_size(codec),Nat.add(raw_size(raw),1n)))

Uses (7)

Used by (2)