Documentation

expr :: Doc -> [Doc] -> Doc Source

parExpr :: Doc -> [Doc] -> Doc Source

parExprSep :: Doc -> [Doc] -> Doc Source

exprSep :: Doc -> [Doc] -> Doc Source

apply :: Doc -> Doc -> Doc Source

validSMTChar :: Char -> String Source

ppTheory :: (Ord a, PrettyVar a) => Theory a -> Doc Source

ppSort :: PrettyVar a => Sort a -> Doc Source

ppDatas :: PrettyVar a => [Datatype a] -> Doc Source

ppData :: PrettyVar a => Datatype a -> Doc Source

ppCon :: PrettyVar a => Constructor a -> Doc Source

par :: PrettyVar a => [a] -> Doc -> Doc Source

par' :: PrettyVar a => [a] -> Doc -> Doc Source

par'' :: PrettyVar a => [a] -> Doc -> Doc Source

ppUninterp :: PrettyVar a => Signature a -> Doc Source

ppFuncs :: (Ord a, PrettyVar a) => [Function a] -> Doc Source

ppFuncSig :: PrettyVar a => ([a] -> Doc -> Doc) -> Function a -> Doc -> Doc Source

ppFormula :: (Ord a, PrettyVar a) => Formula a -> Doc Source

ppExpr :: (Ord a, PrettyVar a) => Expr a -> Doc Source

ppLocals :: PrettyVar a => [Local a] -> Doc Source

ppLocal :: PrettyVar a => Local a -> Doc Source

ppHead :: PrettyVar a => Head a -> Doc Source

ppBuiltin :: Builtin -> Doc Source

ppLit :: Lit -> Doc Source

ppQuant :: Quant -> Doc Source

ppCase :: (Ord a, PrettyVar a) => Case a -> Doc Source

ppPat :: PrettyVar a => Pattern a -> Doc Source

ppType :: PrettyVar a => Type a -> Doc Source

ppBuiltinType :: BuiltinType -> Doc Source

ppPolyType :: PrettyVar a => PolyType a -> Doc Source

smtKeywords :: [String] Source