def request

bendvy-ecs-core@0.1.0.4 · ordinary_service_request.bend:57

import bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend as OrdinaryServiceRequest

import Base

57def request(~S:Data,~Input:Type,~Output:Type,~identity:Identity<S,Input,Output>,~H:Type,~operation:Grant<S,Input,Output,identity,H>,owner:H,input:Input) -> H & RequestResult<Input,Output>:
58  request_field(~S,~Input,~Output,~identity,~H,operation)(owner,input)

Uses (5)

Used by (0)

No other definition uses this definition.