Module type Proofview_monad.Reader

type t
val get : t Logical.t