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