Order.Ordered2
Extension builder module for ordered polymorphic binary types.
module type Extension = sig ... end
Extended interface for ordered types.
module Extend : functor (Base : Ordered2) -> Extension with type ('a, 'b) t := ('a, 'b) Base.t
Interface builder for ordered types.