type Declaration

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

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

10# Closed ordinary declaration. Names never grant authority; K and the operational
11# slot lens remain nominal/static. No Resource identity is fabricated for a machine.
12# Schema/token/slot-indexed machine declaration. Printable names are
13# metadata, never world or machine authority. Vocabulary optionally carries
14# ordered Data values for description, without restricting queue membership.
15# Contracts and consumers: docs/parity/machines.md.
16type Declaration<-S:Data,-Token:Data,-V:Data,-R:Type,-take:R -> R & M.Slot<S,Token,V>> is Data:
17  Declaration{name:String}
18  Vocabulary{name:String,values:List<&2,V>}