def trailing_none

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

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

import Base

89# Resource identity is supplied once through the existing ordinary declaration.
90def trailing_none(~C:Type,~V:Data,result:C & List<&2,Maybe<&2,V>>) -> C & List<&2,Maybe<&2,V>>:
91  match result:
92    case (store,before):(store,List.append(&2,Maybe<&2,V>,before,[None{}]))

Uses (5)

Used by (2)