def get_field

bendvy-ecs-core@0.1.0.3 · owner_product.bend:30

import Base

30def get_field(~W:Type,~P:Type,~R:Type,value:Lens<W,P,R>) -> W -> R & P:
31  match value:
32    case Lens{get,_}:get