# Module Var

    module Var: sig .. end

    type t

APRON Variables

    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 : Stdlib.Format.formatter -> t -> unit

Printing function

    val set_var_operations : unit -> unit

Initialisation of abstract type operations in C library