~/jendhub

def validate_owner

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

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

185# The closed schema projection must inspect the actual owner. It returns that
186# owner rather than caller-supplied unrelated metadata. Its semantics are trusted.
187def validate_owner(~Owner:Type,~project:Owner -> Owner & Raw,fuel:Nat,codec:Codec,owner:Owner) -> Receipt<Owner>:
188  associated(~Owner,fuel,codec,project(owner))

Uses (6)

Used by (1)