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.