traits.ml

open Traits

module type I = sig
  include PartialEq.T
  include PartialOrd.T
end

(* Admittedly, a bit wordy *)
let test (type a)
    (module M : I
      with type PartialEq.t = a
       and type PartialEq.rhs = a
       and type PartialOrd.t = a
       and type PartialOrd.rhs = a) x y =
  PartialOrd.partial_cmp (module M) x y


(* Can be used to provide multiple traits through a single module,
 * we don't need to know which function is being used (eq? partial_cmp?) *)

let _ = test (module Int) 1 2;;