Up
–
coq-core
»
Zify_plugin
»
Zify
» UnOp
Module
Zify.UnOp
val
register :
Libnames.qualid
->
unit
val
print : unit
->
unit