type Lens

bendvy-ecs-core@0.1.0.4 · owner_product.bend:25

import Base

25# Canonical setup composes these fields; user systems only receive opaque caps.
26type Lens<-Whole:Type,-Part:Type,-Rest:Type> is Type:
27  Lens{take:Whole -> Rest & Part,put:Rest -> Part -> Whole}