Up
–
coq
»
Proofview_monad
» Reader
Module type
Proofview_monad.Reader
type
t
val
get :
t
Logical.t