~/jendhub

def admitted

bendvy-ecs-core@0.1.0.3 · execution_reservation_authority.bend:21

import bendvy-ecs-core@0.1.0.3/execution_reservation_authority.bend as ExecutionReservationAuthority
import Base

21def admitted(permit:Permit,namespace:U32,identity:Maybe<&2,U32>) -> Bool:
22  match permit identity:
23    case Authorized{actual,id} Some{expected}:Bool.and(U32.is_eq(actual,namespace),U32.is_eq(id,expected))
24    case _ _:False{}

Uses (6)

Used by (1)