Class Depsolver_int.identity

class identity : object .. end

method add : int -> unit
method vartoint : int -> int
method inttovar : int -> int