type Span
import bolt@1.27.0.0/src/rules/digest.bend as Digestimport Base
84# the lines a quantified law's statement spans: from its header's first token
85# to its body's last
86type Span is Data:
87 Span{from: U32, upto: U32}
import bolt@1.27.0.0/src/rules/digest.bend as Digestimport Base
84# the lines a quantified law's statement spans: from its header's first token
85# to its body's last
86type Span is Data:
87 Span{from: U32, upto: U32}