Cubicle 1.1.2 documentation and source : Enumerative.int_of

let int_of_term env t =
  (* if Term.type_of t == Smt.Type.type_int then *)
  HT.find env.id_terms t