Module type Proofview_monad.Writer

type t
val put : t -> unit Logical.t