utils

export declare const getDivisionRingLaws: <A>(
  DR: Eq<A> & DivisionRing<A>,
  arb: fc.Arbitrary<NonZero<A>>
) => Record<string, fc.IProperty<unknown>>