Up
–
coq-core
»
Evarutil
» VarSet
Module
Evarutil.VarSet
type
t
val
empty :
t
val
full :
t
val
variables :
Environ.env
->
t