Module Proofview_monad.P

type s = proofview * Environ.env
type w = bool * goal list

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