def of

bolt@1.27.0.0 · src/role.bend:189

import Base
import bolt@1.27.0.0/src/rules/imports.bend as Imports

189# a file's role among the marks: a LAWS.bend or PROOF.bend by its name, any
190# other file as marked, and neither when it is not marked
191def of(ms: List<&2, Mark>, +path: String) -> Role:
192  role.of(of_path(path), of.norm(ms, Imports.norm(path)))