def is_law_file
import bolt@1.27.0.0/src/paths.bend as Pathsimport Base
40# is it a LAWS.bend or a PROOF.bend?
41def is_law_file(+path: String) -> Bool:
42 Bool.or(is_laws(path), is_proof(path))
import bolt@1.27.0.0/src/paths.bend as Pathsimport Base
40# is it a LAWS.bend or a PROOF.bend?
41def is_law_file(+path: String) -> Bool:
42 Bool.or(is_laws(path), is_proof(path))