1	import Base
2	import ./word_conversion.bend as Conversion
3	import ./word_conversion_LAWS.bend as Laws
4	
5	def Laws.word_increment_exact(width, word, zero):
6	  Conversion.word_increment_exact(width, word, zero)
7	
8	def Laws.increment_below_exact(word, limit, below):
9	  Conversion.increment_below_exact(word, limit, below)
10	
11	def Laws.natural_word_exact(number, limit, within):
12	  Conversion.natural_word_exact(number, limit, within)
13	
14	def Laws.word_natural_exact(word):
15	  Conversion.word_natural_exact(word)
16	
17	def Laws.naturals_words_fitting(dims, values, fit):
18	  Conversion.naturals_words_fitting(dims, values, fit)
19	
20	def Laws.word_increment_le(width, word):
21	  Conversion.word_increment_le(width, word)
22	
23	def Laws.increment_le(word):
24	  Conversion.increment_le(word)
25	
26	def Laws.natural_word_le(number):
27	  Conversion.natural_word_le(number)
28	
29	def Laws.capacity_word_nat():
30	  Conversion.capacity_word_nat()
31	
32	def Laws.capacity_natural_word_exact(number, within):
33	  Conversion.capacity_natural_word_exact(number, within)
34	
35	def Laws.shape_count_exact(shape):
36	  Conversion.shape_count_exact(shape)
37	
38	def Laws.shape_count_within(shape):
39	  Conversion.shape_count_within(shape)