~/jendhub

def physical_checked

bendvy-ecs-core@0.1.0.3 · execution_query_admission.bend:61

import bendvy-ecs-core@0.1.0.3/execution_query_admission.bend as ExecutionQueryAdmission
import Base

61# Beyond-storage optional absence remains in Granted.handles. Only physical
62# owners that actually exist contribute physical-domain validation metadata.
63def physical_checked(capacity:U32,rest:List<&2,U32>,offset:Maybe<&2,U32>) -> List<&2,U32>:
64  match offset:
65    case None{}:rest
66    case Some{+offset}:physical_cons(offset,rest,U32.is_lt(offset,capacity))

Uses (5)

Used by (1)