Digest.is_exempt: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/digest.bend as Digest
Lines 250-254 of bolt@1.27.0.0/src/rules/digest.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/digest.bend&start_line=250&end_line=254

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

# a law file or a test, by its path alone: not under law. Nothing the file's
# text mentions exempts it; IO is not an exemption, since an IO equality is a
# law.
def is_exempt(+pp: String) -> Bool:
  Bool.or(Paths.is_law_file(pp), Paths.is_test(pp))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/paths.bend&name=is_law_file
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/paths.bend&name=is_test