Up
–
coq
»
Zify_plugin
»
Zify
» UnOp
Module
Zify.UnOp
val
register :
Constrexpr.constr_expr
->
unit
val
print : unit
->
unit