Module Eq.Vars


module Vars: sig .. end  with type elt = int
Ensembles de variables de types (ensembles de int, donc). Comme les ensembles de la bibliothèque standard, avec deux fonctions supplémentaires.
See also Les ensembles de la bibliothèque Set standard.

include Set.S
val of_list : elt list -> t
Fabrique un ensemble à partir d'une liste d'éléments non nécessairement distincts deux à deux.
val disjoint : t -> t -> bool
Teste si deux ensembles sont disjoints (i.e. d'intersection vide).