Module Dt.ValueOrdered

type t = value
val compare : value -> value -> int