~/jendhub

def skip

bolt@1.27.0.0 · src/role.bend:55

import bolt@1.27.0.0/src/role.bend as Role
import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/finding.bend as F

55# a rule that has nothing to say of a law or proof file: its findings on a
56# file told its role, none on one of those
57def skip(+rr: Role, run: Unit -> List<&2, F.Finding>) -> List<&2, F.Finding>:
58  Lazy.stop(List<&2, F.Finding>, is_law_file(rr), [], run)

Uses (6)

Used by (1)