def name

bendvy-ecs-core@0.1.0.4 · ordinary_app_resource_declaration.bend:61

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_resource_system.bend as P
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/transaction.bend as T

61# Return the resource access key from this declaration's operational clause.
62# Consumes the declaration and retains its declared name, not runtime authority.
63# Use the schema identity for access, rather than reconstructing it from this text.
64def name(~S:Data,~C:Type,~R:Type,~E:Data,~Ops:Type -> Type,~V:Data,declaration:Declaration<S,C,R,E,Ops,V>) -> String:
65  named(~S,P.clause(~S,~R,~T.Tx<W.World<S,C,R,E>,E>,~Ops(T.Tx<W.World<S,C,R,E>,E>),ordinary(~S,~C,~R,~E,~Ops,~V,declaration)))