Order.Ordered0
Extension builder module for ordered monomorphic types.
module type Extension = sig ... end
Extended interface for ordered types.
module Extend : functor (Base : Ordered0) -> Extension with type t := Base.t
Interface builder for ordered types.