Up
–
coq-core
»
Proofview_monad
» Writer
Module type
Proofview_monad.Writer
type
t
val
put :
t
->
unit
Logical.t