sig
type
t = {
qed :
Wp
.
Lang
.
F
.term;
raw :
Wp
.
Lang
.
F
.term;
goal :
Wp
.
Lang
.
F
.pred;
}
end