~/jendhub

def leaf_select

bendvy-ecs-core@0.1.0.4 · ordinary_removal_provision.bend:15

import bendvy-ecs-core@0.1.0.4/ordinary_removal_provision.bend as OrdinaryRemovalProvision
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

15def leaf_select(~S:Data,~P:Type,value:Rm.Record<S,Identity.Declaration<S,P>>) -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>:
16  Some{value}

Uses (3)

Used by (1)