def lens

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_family_resource.bend:11

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

11# Only the user resource is writable; the affine event log is a retained sibling.
12def lens(~R:Type,~Logs:Type) -> Product.Lens<Product.Owner<R,Logs>,R,Logs>:
13  Product.lens(~R,~Logs,~Product.Left{})