type Role

bolt@1.27.0.0 · src/role.bend:21

import Base

21# what a file is to the laws
22type Role is Data:
23  Plain{}
24  Laws{}
25  Proof{}