ExecutionSaveGate.save: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_gate.bend as ExecutionSaveGate
Lines 14-15 of bendvy-ecs-core@0.1.0.3/execution_save_gate.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_gate.bend&start_line=14&end_line=15

import Base

def save(~Actual:Type,~Value:Data,~Error:Data,~pending:Actual -> Actual & Bool,~project:Actual -> Actual & Outcome<Value,Error>,actual:Actual) -> Actual & Outcome<Value,Error>:
  checked(~Actual,~Value,~Error,~project,pending(actual))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_gate.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_gate.bend&name=checked