Module Order.Equal1

Extension builder module for equatable monomorphic types.

module type Extension = sig ... end

Extended interface for equatable polymorphic unary types.

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

Interface builder for equatable polymorphic unary types.