Previous
Up
Next
Module
Lang.F.Vars
module
Vars
:
Qed.Idxset.S
with type elt = var