1	import Base
2	import ./read_write_contract_LAWS.bend as Laws
3	import ./read_contract.bend as Reads
4	import ./write_contract.bend as Writes
5	
6	def Laws.read_inside(shape, fill, index, inside):
7	  Reads.read_inside(shape, fill, index, inside)
8	
9	def Laws.read_outside(shape, fill, index, outside):
10	  Reads.read_outside(shape, fill, index, outside)
11	
12	def Laws.write_inside(shape, fill, index, value, inside):
13	  Writes.write_inside(shape, fill, index, value, inside)
14	
15	def Laws.write_outside(shape, fill, index, value, outside):
16	  Writes.write_outside(shape, fill, index, value, outside)
17	
18	def Laws.coordinate_inside(shape, fill, coordinates, index, value, located, inside):
19	  Writes.coordinate_inside(shape, fill, coordinates, index, value, located, inside)
20	
21	def Laws.dynamic_read_inside(shape, fill, index, inside):
22	  Reads.dynamic_read_inside(shape, fill, index, inside)