Up
–
coq
»
Evd
» Identity
Module
Evd.Identity
type
t
Identity substitutions
val
make :
econstr
list
->
t
val
none : unit
->
t