package.bend

bend-osdev-word64@0.1.1.0 · 17 lines · 0 definitions

1# bend-osdev-word64: every file of the package, so that bend --publish sends
2# them all (written by scripts/publish.py; not in the repository)
3import Base
4import bend-osdev-word64@0.1.1.0/LAWS.bend as F0
5import bend-osdev-word64@0.1.1.0/LAWS_bits.bend as F1
6import bend-osdev-word64@0.1.1.0/LAWS_div.bend as F2
7import bend-osdev-word64@0.1.1.0/LAWS_mul.bend as F3
8import bend-osdev-word64@0.1.1.0/LAWS_text.bend as F4
9import bend-osdev-word64@0.1.1.0/PROOF.bend as F5
10import bend-osdev-word64@0.1.1.0/PROOF_bits.bend as F6
11import bend-osdev-word64@0.1.1.0/PROOF_div.bend as F7
12import bend-osdev-word64@0.1.1.0/PROOF_mul.bend as F8
13import bend-osdev-word64@0.1.1.0/PROOF_text.bend as F9
14import bend-osdev-word64@0.1.1.0/check.bend as F10
15import bend-osdev-word64@0.1.1.0/proof_shift.bend as F11
16import bend-osdev-word64@0.1.1.0/proof_value.bend as F12
17import bend-osdev-word64@0.1.1.0/word64.bend as F13