Proofview_monad.P
type s = proofview * Environ.env
type w = bool
Status (safe/unsafe) * given up
val wunit : w
val wprod : w -> w -> w
type e = {
trace : bool;
name : Names.Id.t;
poly : bool;
}
Recording info trace (true) or not.
type u = Info.state
val uunit : u