type Law

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

import Base

36# a law of a LAWS.bend: its name, the line it starts on, whether it binds
37# (a `for` or `exs` line), and the lines of its comment block, `# ` dropped
38type Law is Data:
39  Law{name: String, line: U32, binds: Bool, doc: List<&2, String>}