Module Apron.Var

module Var: sig .. end

type t

val of_string : string -> t

Constructor

val compare : t -> t -> int

Comparison function

val to_string : t -> string

Conversion to string

val hash : t -> int

Hash function

val print : Format.formatter -> t -> unit

Printing function

val set_var_operations : unit -> unit

Initialisation of abstract type operations in C library