1	import Base
2	import ./word64.bend as W
3	import ./LAWS.bend as Laws
4	
5	def Laws.add_wraps():
6	  {==}
7	
8	def Laws.sub_wraps():
9	  {==}
10	
11	def Laws.hi_of_parts():
12	  {==}
13	
14	def Laws.lo_of_parts():
15	  {==}
16	
17	def Laws.shl_crosses_halves():
18	  {==}
19	
20	def Laws.shr_crosses_halves():
21	  {==}
22	
23	def Laws.mul_of_max_halves():
24	  {==}
25	
26	def Laws.show_max():
27	  {==}
28	
29	def Laws.show_hex_parts():
30	  {==}
31	
32	def Laws.show_hex_zero():
33	  {==}
34	
35	def Laws.lo_from_u32(a):
36	  {==}
37	
38	def Laws.hi_from_parts(h, l):
39	  {==}
40	
41	def Laws.lo_from_parts(h, l):
42	  {==}
43	
44	def Laws.parts_of(v):
45	  match v:
46	    case W.W64{h, l}:
47	      {==}