def checked_owner

bendvy-ecs-core@0.1.0.3 · execution_composer_layout.bend:196

import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as ExecutionComposerLayout

import Base

196def checked_owner(-A:Type,-B:Type,same:{A == B : Type},owner:A) -> B:
197  %same : _
198  owner

Uses (0)

This definition uses no other definition.

Used by (18)