utils

export type NonZero<A> = A & { readonly [NON_ZERO]: typeof NON_ZERO }

export declare function arbitraryNonZero<A>(T: Eq<A> & HasZero<A>): (arb: fc.Arbitrary<A>) => fc.Arbitrary<NonZero<A>>

export declare function isNonZero<A>(T: Eq<A> & HasZero<A>): (a: A) => a is NonZero<A>