Order.Equal0
Extension builder module for equatable monomorphic types.
module type Extension = sig ... end
Extended interface for equatable monomorphic types.
module Extend : functor (Base : Equal0) -> Extension with type t := Base.t
Extends the base definition for equatable monomorphic types.