Module Var

module Var: sig .. end

type t

APRON Variables

val of_string : string -> t

Constructor

val compare : t -> t -> int

Comparison function. Implements a total order and returns -1, 0, or 1.

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