obj
IEquatable<ProofGoal>
IStructuralEquatable
IComparable<ProofGoal>
IComparable
IStructuralComparable
SpecAssert(QName, VerifTask, QName list, SpecExpr, QName list)
QName
VerifTask
QName list
SpecExpr
SpecAssume(QName, SpecExpr)
this.printer
PrnDrv -> unit