def is_proof

bolt@1.27.0.0 · src/role.bend:39

import Base

39# is it a proof file?
40def is_proof(rr: Role) -> Bool:
41  match rr:
42    case Proof{}:
43      True{}
44    case other:
45      False{}