def exempt

bolt@1.27.0.0 · src/rules/calls.bend:295

import Base
import bolt@1.27.0.0/src/paths.bend as Paths
import bolt@1.27.0.0/src/syntax/tree.bend as Tree

295# a law file, a proof file, or a def that is a proof: none of it runs, so its
296# cost does not matter
297def exempt(+path: String, sig: Tree.Node) -> Bool:
298  Bool.or(Paths.is_law_file(path), proof(sig))