def identity

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_declaration.bend:70

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

70# Advanced builder lens selecting the complete recovery owner, with Unit rest.
71# It threads that owner once; it does not clone it or establish rollback by itself.
72def identity(~R:Type) -> Product.Lens<R,R,Unit>:Product.Lens{identity_take(~R),identity_put(~R)}