type Digest

bolt@1.27.0.0 · src/rules/digest.bend:41

import Base

41# one file as the project rules see it: its path as given and normalized, its
42# directory, whether it states laws (LAWS.bend) or proves them too
43# (PROOF.bend), whether the coverage rule lets it off, its top-level items, what
44# its own laws name, the files it imports, and its laws
45type Digest is Data:
46  Digest{path: String, norm: String, dir: String, is_laws: Bool, is_law_file: Bool, exempt: Bool,
47    tops: List<&2, Top>, says: List<&2, Mention>, deps: List<&2, String>,
48    laws: List<&2, Law>}