pair | Dino.Expression, Dino |
PairType | Dino.Types, Dino |
partial_cases | Dino.Expression, Dino |
pi | Dino.Prelude, Dino |
pred | Dino.Prelude, Dino |
presentStructuralVerification | Dino.Verification |
presentStructuralVerificationAsDocs | Dino.Verification |
prettyEditApp | Dino.AST.Diff |
prettyEditTuple | Dino.AST.Diff |
prettyNamed | Dino.AST |
prettyRecord | Dino.Pretty |
Dino.Prelude, Dino | |
printEdit | Dino.AST.Diff |
prodFst | Dino.Interpretation |
prodSnd | Dino.Interpretation |
product | Dino.Prelude, Dino |
pure | Dino.Prelude, Dino |
putChar | Dino.Prelude, Dino |
putStr | Dino.Prelude, Dino |
putStrLn | Dino.Prelude, Dino |