Drup

(* Code extracted from:
   SAT-MICRO: petit mais costaud !
   by Sylvain Conchon, Johannes Kanig, Stéphane Lescuyer
*)

module type VARIABLES = sig
  type t
  val compare : t -> t -> int
end