~/jendhub

def has

bendvy-ecs-core@0.1.0.4 · ordinary_binding_provision.bend:25

import bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend as OrdinaryBindingProvision
import Base
import bendvy-ecs-core@0.1.0.4/column.bend as Col

25# Trusted storage presence adapter using the operational column lenses.
26# Returns store and Bool for a slot index, without World/handle validation.
27# Ordinary callers provide live handles through the population/dump route.
28def has(~S:Data,~C:Type,~Rest:Type,~P:Type,~take:C -> Rest & Col.Column<S,P>,~put:Rest -> Col.Column<S,P> -> C,store:C,id:U32) -> C & Bool:has_taken(~S,~C,~Rest,~P,~put,id,take(store))

Uses (5)

Used by (1)