def is_laws

bolt@1.27.0.0 · src/role.bend:31

import Base

31# is it a law file?
32def is_laws(rr: Role) -> Bool:
33  match rr:
34    case Laws{}:
35      True{}
36    case other:
37      False{}