def declared

bendvy-ecs-core@0.1.0.4 · ordinary_machine_declaration.bend:24

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M

24# One ordinary declaration retains its finite ordered values. This is descriptive,
25# not a queue membership restriction; legacy arbitrary V declarations stay valid.
26# Declare a machine with an ordered descriptive vocabulary. Values are not
27# an exhaustive runtime validation rule; the V type and slot operations govern
28# accepted requests. Does not initialize a machine or register a system.
29def declared(~S:Data,~Token:Data,~V:Data,~R:Type,~take:R -> R & M.Slot<S,Token,V>,name:String,values:List<&2,V>) -> Declaration<S,Token,V,R,take>:
30  Vocabulary{name,values}