import type { SemigroupTypeLambda } from '@effect/typeclass/Semigroup';
import type { BuildConcrete } from './given.js';
/**
 * Build typeclass laws for `Semigroup`.
 * @category typeclass laws
 */
export declare const semigroupLaws: BuildConcrete<SemigroupTypeLambda>;
declare module './given.js' {
    interface ConcreteLambdas {
        Semigroup: SemigroupTypeLambda;
    }
}
//# sourceMappingURL=Semigroup.d.ts.map