~/jendhub

def pair_release_after_left

bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:108

import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base

108def pair_release_after_left(~W:Type,~OwnerB:Type,~releaseB:W -> OwnerB -> W,ownerB:OwnerB,context:W) -> W:
109  releaseB(context,ownerB)

Uses (0)

This definition uses no other definition.

Used by (1)