~/jendhub

def retained_record_head

bendvy-ecs-core@0.1.0.4 · event_notice_runtime.bend:61

import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as EventNoticeRuntime
import Base

61def retained_record_head(~P:Data,~F:Type,rest:F -> F & (List<&2,P> & List<&2,List<&2,P>>),returned:F & List<&2,P>) -> F & (List<&2,P> & List<&2,List<&2,P>>):
62  match returned:
63    case (family,+head):retained_record(~P,~F,head,rest(family))

Uses (4)

Used by (1)