Problem.Vars
type t = Var.t list
type classified = {
continuous : t;
general : t;
binary : t;
}
val classify : t -> classified