~/jendhub

def pub.marks

bolt@1.27.0.0 · src/lsp/server.bend:249

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import bolt@1.27.0.0/src/lint/plan.bend as Plan
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/role.bend as Role

249# the role marks `bolt <path>` reads from a World: the imports of every file
250# of the tree (Plan.graph), each file read for its imports alone
251def pub.marks(+world: W.World) -> List<&2, Role.Mark>:
252  Plan.marks.named(world)

Uses (4)

Used by (1)