Up
–
coq-core
»
Tuto1_plugin
» Inspector
Module
Tuto1_plugin.Inspector
val
print_input :
'a
->
(
'a
->
Pp.t
)
->
string
->
unit