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