Component.Family: type of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/component.bend as Component Lines 12-18 of bendvy-ecs-core@0.1.0.3/component.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/component.bend&start_line=12&end_line=18 import Base import column.bend as Col # Caller-authored schema lenses are trusted provisioning. The gameplay callback # receives only universally quantified provider handles, never these owners. # Trusted schema provisioning for one component column and detached Data view V. # take/put must return the actual affine storage owners; project returns C with V. # The nominal Token distinguishes families; the display name is not access proof. type Family<-S: Data,-Store: Type,-Rest: Type,-C: Type,-V: Data,-Token: Data,-take: Store -> Rest & Col.Column,-put: Rest -> Col.Column -> Store,-project: C -> C & V> is Data: Family{name: String} Uses (3): 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.3/column.bend&name=Column