OrdinaryMachineDeclaration.Declaration: type of bendvy-ecs-core@0.1.0.4 Import: import bendvy-ecs-core@0.1.0.4/ordinary_machine_declaration.bend as OrdinaryMachineDeclaration Lines 10-18 of bendvy-ecs-core@0.1.0.4/ordinary_machine_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_machine_declaration.bend&start_line=10&end_line=18 import Base import bendvy-ecs-core@0.1.0.4/machine.bend as M # Closed ordinary declaration. Names never grant authority; K and the operational # slot lens remain nominal/static. No Resource identity is fabricated for a machine. # Schema/token/slot-indexed machine declaration. Printable names are # metadata, never world or machine authority. Vocabulary optionally carries # ordered Data values for description, without restricting queue membership. # Contracts and consumers: docs/parity/machines.md. type Declaration<-S:Data,-Token:Data,-V:Data,-R:Type,-take:R -> R & M.Slot> is Data: Declaration{name:String} Vocabulary{name:String,values:List<&2,V>} Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/machine.bend&name=Slot