~/jendhub

def admission

bendvy-ecs-core@0.1.0.3 · execution_event_family.bend:81

import bendvy-ecs-core@0.1.0.3/execution_event_family.bend as ExecutionEventFamily
import Base

81def admission(open:Bool,identity:U32,actual:U32,id:U32,active:List<&2,U32>) -> Maybe<&2,Refusal>:
82  match open:
83    case False{}:Some{Closed{}}
84    case True{}:admission_identity(U32.is_eq(identity,actual),has(active,id))

Uses (8)

Used by (1)