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