# Module `Evar`

This module defines existential variables, which are isomorphic to `int`

. Nonetheless, casting from an `int`

to a variable is deemed unsafe, so that to keep track of such casts, one has to use the provided `unsafe_of_int`

function.

`val repr : t -> int`

Recover the underlying integer.

`val unsafe_of_int : int -> t`

This is not for dummies. Do not use this function if you don't know what you are doing.

`val hash : t -> int`

Hash over existential variables.