type Binding

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_binding.bend:9

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log
import bendvy-ecs-core@0.1.0.4/ordinary_owned_event.bend as Pub

9# Trusted engine family boundary. Ordinary constructors derive all paths/routes
10# from child bindings; gameplay never supplies a live lens or key-routing closure.
11# The raw constructor is trusted provisioning, not a module-privacy guarantee.
12type Binding<S:Data,R:Type,P:Type,Rest:Type,E:Data,-path:Product.Lens<R,Log.Log<P>,Rest>,-inject:Nat -> E,-select:List<&2,E> -> List<&2,Nat>,-identity:Pub.Domain<S,P>> is Data:
13  Binding{}