def proof_path
import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argvimport Base
32# the PROOF.bend beside a LAWS.bend
33def proof_path(+path: String) -> String:
34 String.take(path, Nat.sub(String.length(path), 9n)) ++ "PROOF.bend"
import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argvimport Base
32# the PROOF.bend beside a LAWS.bend
33def proof_path(+path: String) -> String:
34 String.take(path, Nat.sub(String.length(path), 9n)) ++ "PROOF.bend"