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