release.bend source

release.bend on the hub · documented module

import Baseimport ./PROOF.bend as Proofimport ./witnesses.bend as Witnessesimport ./conformance.bend as Conformanceimport ./benchmark.bend as Benchmarkimport ./example.bend as Exampleimport ./generic.bend as Generic# Reviewed upload root: laws/proofs, model and runnable checks are in closure.def main() -> Bool:  Bool.and(Conformance.named(),Generic.main())