~/jendhub

def Writes

bendvy-ecs-core@0.1.0.3 · execution_machine_access.bend:17

import bendvy-ecs-core@0.1.0.3/execution_machine_access.bend as ExecutionMachineAccess
import Base

17def Writes(~S:Data,~K:Data,~V:Data,Permit:Data,H:Type) -> Type:Write<S,K,V,H>

Uses (1)

Used by (0)

No other definition uses this definition.