def is_proof
import bolt@1.27.0.0/src/paths.bend as Pathsimport Base
36# is it a PROOF.bend?
37def is_proof(path: String) -> Bool:
38 String.eq(base(path), "PROOF.bend")
import bolt@1.27.0.0/src/paths.bend as Pathsimport Base
36# is it a PROOF.bend?
37def is_proof(path: String) -> Bool:
38 String.eq(base(path), "PROOF.bend")