padZeros | Camfort.Specification.Stencils.InferenceFrontend |
pairs | Camfort.Helpers |
pairwisePerm | Camfort.Specification.Stencils.Model |
Params | Camfort.Specification.Stencils.InferenceFrontend |
parseCommentToAST | Camfort.Specification.Stencils.CheckFrontend |
PartialMonoid | Camfort.Helpers |
perBlockCheck | Camfort.Specification.Stencils.CheckFrontend |
perBlockInfer | Camfort.Specification.Stencils.InferenceFrontend |
perBlockRmEquiv | Camfort.Transformation.EquivalenceElim |
Permutable | Camfort.Specification.Stencils.InferenceBackend |
permutationsV | Camfort.Specification.Stencils.InferenceBackend |
perProgramUnitCheck | Camfort.Specification.Stencils.CheckFrontend |
perStatementRmEquiv | Camfort.Transformation.EquivalenceElim |
perStmt | Camfort.Transformation.DeadCode |
pprintConstr | Camfort.Specification.Units.Environment |
pprintSpecDecls | Camfort.Specification.Stencils.Syntax |
pprintUnitInfo | Camfort.Specification.Units.Environment |
pRefactored | Camfort.Analysis.Annotations |
prevAnnotation | Camfort.Specification.Units.Environment |
ProbablyAnnotation | Camfort.Analysis.CommentAnnotator |
prod | Camfort.Specification.Stencils.Syntax |
Product | Camfort.Specification.Stencils.Syntax |