def doc.gap

ezx@1.11.0.0 · src/lock/plan.bend:671

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/ledger/manifest.bend as M

671# a tool pin a plain lock would have to fill stops it before the walk counts
672def doc.gap(
673  clean: Bool,
674  +gap: String,
675  wk: Walk,
676  +led: M.Read,
677  listing: W.Listing,
678  +ns: List<&2, L.Name>,
679  +js: List<&2, W.Judged>
680) -> Doc:
681  match clean:
682    case True{}:
683      doc.walk(wk, led, listing, ns, js)
684    case False{}:
685      Stop{gap}