module type TypeOrdonne =
  sig
    type t
    val compare : t -> t -> int
  end
module EntierOrdreNaturel:TypeOrdonne with type t = int =
  struct
    type t = int
    let compare = (-)
  end