Up
–
coq
»
Tuto1_plugin
» Simple_print
Module
Tuto1_plugin.Simple_print
val
simple_body_access :
Names.GlobRef.t
->
EConstr.constr