utils

export declare const getEuclideanRingLaws: <A>(
  T: ord.Ord<A> & EuclideanRing<A>,
  arbs: fc.Arbitrary<[A, A]>
) => Record<string, fc.IProperty<unknown>>