Bind.noted: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 983-989 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=983&end_line=989

import Base

# the scopes hold binders before their notes were filled: read each back
def noted(mm: Maybe<&2, Bind>, bb: Bind) -> Bind:
  match mm:
    case None{}:
      bb
    case Some{full}:
      full

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Bind