1	import Base
2	import ../shape/core.bend as Shape
3	import ./from_values_records.bend as Records
4	
5	law from_values_contract:
6	  for +shape: Shape.Shape
7	  for +values: List<&2, F32>
8	  for counted: {List.length(&2, F32, values) == Shape.logical_numel(Shape.dimensions(shape)) : Nat}
9	  Records.FromValuesContract<shape, values>