Hub.seal: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/hub.bend as Hub
Lines 319-325 of ezx@1.11.0.0/src/add/hub.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/hub.bend&start_line=319&end_line=325

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

# a plan that refuses has no effect at all; its reason is how it ends
def seal(es: List<&2, P.Effect>, outcome: P.Outcome) -> P.Plan:
  match outcome:
    case P.Success{}:
      P.Plan{es, P.Success{}}
    case P.Refused{why}:
      P.Plan{[], P.Refused{why}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan