def fresh

bendvy-ecs-core@0.1.0.3 · execution_command_local.bend:15

import Base
import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as Buffer
import bendvy-ecs-core@0.1.0.3/execution_command_permission.bend as Permission

15def fresh(~S:Data,~P:Type,~D:Type,~User:Type,user:User,permission:Permission.Permission) -> Local<S,P,D,User>:
16  Local{user,Buffer.empty(~S,~P,~D),permission}