~/jendhub

def noted

bolt@1.27.0.0 · src/syntax/bind.bend:983

import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import Base

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

Uses (2)

Used by (1)