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