PROOF.bend source

PROOF.bend on the hub · documented module

import Baseimport ./LAWS.bend as Ldef L.first(name): {==}def L.zero_limit(name): {==}def L.empty_find(name): {==}def L.repeat_preserves(): {==}def L.full_preserves(): {==}def L.unicode_exact(): {==}def L.default_limit(): {==}def L.clamp_limit(): {==}def main() -> U32: 1