1	# The entry to publish: `bend package.bend --publish <name>@<version>` sends this file and everything it imports, so
2	# every file of the package and its laws are here. Import the files themselves: <name>@<version>/main.bend, spec.bend,
3	# tensor.bend, dtype.bend.
4	import Base
5	import ./main.bend as T
6	import ./spec.bend as Spec
7	import ./tensor.bend as TT
8	import ./dtype.bend as D
9	import ./LAWS.bend as Laws
10	import ./PROOF.bend as Proof