def is_law_file

bolt@1.27.0.0 · src/role.bend:47

import Base

47# is it a law file or a proof file?
48def is_law_file(rr: Role) -> Bool:
49  match rr:
50    case Plain{}:
51      False{}
52    case other:
53      True{}