Module Order.Equal2

Extension builder module for equatable monomorphic types.

module type Extension = sig ... end

Extended interface for equatable polymorphic binary types.

module Extend : functor (Base : Equal2) -> Extension with type ('a, 'b) t := ('a'b) Base.t

Interface builder for equatable polymorphic binary types.