1	import Base
2	import ./permute_values_contract_LAWS.bend as Laws
3	import ./permute_values.bend as PermuteValues
4	
5	def Laws.permute_contract(input, values, counted, axes, valid):
6	  PermuteValues.permute_contract(input, values, counted, axes, valid)
7	
8	def Laws.transpose_contract(input, values, counted, a, b, inside):
9	  PermuteValues.transpose_contract(input, values, counted, a, b, inside)
10	
11	def Laws.permute_replayed(input, fill, ops, fits, axes, plan, laid, P, h):
12	  PermuteValues.permute_replayed(input, fill, ops, fits, axes, plan, laid, P, h)
13	
14	def Laws.transpose_replayed(input, fill, ops, fits, a, b, inside, plan, laid, P, h):
15	  PermuteValues.transpose_replayed(input, fill, ops, fits, a, b, inside, plan, laid, P, h)