why3-0.8: Haskell support for the Why3 input format.

Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Why3.PP

Documentation

ppTh :: Theory -> Doc Source

ppD :: Decl -> Doc Source

ppE :: Expr -> Doc Source

ppT :: Type -> Doc Source

ppL :: Literal -> Doc Source

ppP :: Pattern -> Doc Source

isOpWhy3 :: Name -> Maybe Int Source