sig
  type t
  external of_string : string -> Apron.Var.t = "camlidl_var_ap_var_of_string"
  external compare : Apron.Var.t -> Apron.Var.t -> int
    = "camlidl_var_ap_var_compare"
  external to_string : Apron.Var.t -> string = "camlidl_var_ap_var_to_string"
  external hash : Apron.Var.t -> int = "camlidl_var_ap_var_hash"
  val print : Format.formatter -> Apron.Var.t -> unit
  external set_var_operations : unit -> unit
    = "camlidl_apron_set_var_operations"
end