OrdinaryBindingProvision.present: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend as OrdinaryBindingProvision
Lines 43-45 of bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend&start_line=43&end_line=45

import Base

# Thread a component payload through view and render its detached Data V.
# view must return P; render owns no affine payload. Does not access a World.
def present(~P:Type,~V:Data,~view:P -> P & V,~render:V -> String,owner:P) -> P & String:rendered(~P,~V,~render,view(owner))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_binding_provision.bend&name=rendered