Role.Role: type of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/role.bend as Role
Lines 21-25 of bolt@1.27.0.0/src/role.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/role.bend&start_line=21&end_line=25

import Base

# what a file is to the laws
type Role is Data:
  Plain{}
  Laws{}
  Proof{}

Uses (0):