Local.provide: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/local.bend as Local
Lines 62-67 of bendvy-ecs-core@0.1.0.4/local.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/local.bend&start_line=62&end_line=67

import Base

# Run a universally quantified Local body through read/replace capabilities.
# Returns the retained Local owner and Out. project must preserve its L owner;
# replacement does not invoke a finalizer or journal arbitrary mutations.
# Contract and accepted scenarios: docs/design/public-local-policy.md.
def provide(~L: Type,~V: Data,~Out: Type,~project: L -> L & V,~consume: @-H: Type -> Ops<H,L,V> -> H -> H & Out,local: L) -> L & Out:
  unwrapped(~L,~Out,consume(Cell<L>,Ops{read_cell(~L,~V,~project),replace_cell(~L)},Cell{local}))

Uses (6):
  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.4/local.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/local.bend&name=Ops
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/local.bend&name=read_cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/local.bend&name=replace_cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/local.bend&name=unwrapped