1	import Base
2	import ./transform_contract_LAWS.bend as Laws
3	import ./reshape_contract.bend as Reshapes
4	import ./permute_contract.bend as Permutes
5	
6	def Laws.reshape_contract(input, fill, target, same):
7	  Reshapes.reshape_contract(input, fill, target, same)
8	
9	def Laws.reshape_write(input, fill, target, index, value, inside, same):
10	  Reshapes.reshape_write(input, fill, target, index, value, inside, same)
11	
12	def Laws.reshape_count_mismatch(input, fill, target, different):
13	  Reshapes.reshape_count_mismatch(input, fill, target, different)
14	
15	def Laws.permute_rank_mismatch(input, fill, axes, wrong):
16	  Permutes.permute_rank_mismatch(input, fill, axes, wrong)
17	
18	def Laws.permute_axis_out_of_bounds(input, fill, axes, ranked, outside):
19	  Permutes.permute_axis_out_of_bounds(input, fill, axes, ranked, outside)
20	
21	def Laws.permute_duplicate_axis(input, fill, axes, ranked, bounded, duplicate):
22	  Permutes.permute_duplicate_axis(input, fill, axes, ranked, bounded, duplicate)
23	
24	def Laws.transpose_out_of_bounds(input, fill, a, b, outside):
25	  Permutes.transpose_out_of_bounds(input, fill, a, b, outside)