lib.bend

bend-prot@0.1.0.0 · 24 lines · 0 definitions

1import Base
2import bend-prot@0.1.0.0/geom.bend as G
3import bend-prot@0.1.0.0/protein.bend as P
4import bend-prot@0.1.0.0/topology.bend as T
5import bend-prot@0.1.0.0/force.bend as F
6import bend-prot@0.1.0.0/rmsd.bend as R
7import bend-prot@0.1.0.0/sasa.bend as S
8import bend-prot@0.1.0.0/rng.bend as Rng
9import bend-prot@0.1.0.0/pdb.bend as Pdb
10import bend-prot@0.1.0.0/par.bend as Par
11import bend-prot@0.1.0.0/bonded.bend as B
12import bend-prot@0.1.0.0/pbc.bend as Pbc
13import bend-prot@0.1.0.0/sim.bend as Sim
14import bend-prot@0.1.0.0/templates.bend as Templates
15import bend-prot@0.1.0.0/tpl.bend as Tpl
16import bend-prot@0.1.0.0/LAWS.bend as Laws
17import bend-prot@0.1.0.0/PROOF.bend as Proof
18
19# --- lib: the publishable whole. ---
20# `bend lib.bend --publish bend-prot@<ver>` uploads this file plus
21# everything it imports (the library with its proofs). Downstream imports
22# any module by path, e.g. `import 0x<hash>/protein.bend as P`.
23# No main: `bend lib.bend` only checks. Entry points (main.bend for the
24# demo, prot.bend for the CLI) stay out on purpose.