Previous
Up
Next
Module
Var.VarSet
module
VarSet:
Set.S
with type elt = t
Set over variables