plit | Language.Expression.Prop, Language.Verification.Conditions |
pnot | Language.Expression.Prop, Language.Verification.Conditions |
Pretty | Language.Expression.Pretty |
pretty | Language.Expression.Pretty |
Pretty1 | Language.Expression.Pretty |
pretty1 | Language.Expression.Pretty |
Pretty2 | Language.Expression.Pretty |
pretty2 | Language.Expression.Pretty |
Pretty3 | Language.Expression.Pretty |
pretty3 | Language.Expression.Pretty |
PrettyOp | Language.Expression.GeneralOp |
prettys | Language.Expression.Pretty |
prettys1 | Language.Expression.Pretty |
prettys1Binop | Language.While.Syntax |
prettys1Prec | Language.Expression.Pretty |
prettys1PrecBinop | Language.Expression.Pretty |
prettys1PrecUnop | Language.Expression.Pretty |
prettys2 | Language.Expression.Pretty |
prettys2Prec | Language.Expression.Pretty |
prettys3 | Language.Expression.Pretty |
prettys3Prec | Language.Expression.Pretty |
prettysPrec | Language.Expression.Pretty |
prettysPrecOp | Language.Expression.GeneralOp |
printBase | Language.Verification |
printRealPrec | Language.Verification |
Progress | Language.While.Syntax |
Prop | Language.Expression.Prop, Language.Verification.Conditions |
Prop' | Language.Expression.Prop, Language.Verification.Conditions |
propAnd | Language.Expression.Prop, Language.Verification.Conditions |
PropAnn | |
1 (Type/Class) | Language.While.Hoare |
2 (Data Constructor) | Language.While.Hoare |
propAnnSeq | Language.Verification.Conditions |
propOr | Language.Expression.Prop, Language.Verification.Conditions |
provePartialHoare | Language.While.Hoare.Prover |
putPretty | Language.Expression.Pretty |