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.