Module 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.