utils

export declare const getSemiringLaws: <A>(
  S: Eq<A> & Semiring<A>,
  arb: fc.Arbitrary<A>
) => Record<string, fc.IProperty<unknown>>