Up
–
coq-core
»
CAst
» Smart
Module
CAst.Smart
val
map :
(
'a
->
'a
)
->
'a
t
->
'a
t