beautifHOL Contents Index

ConfigHOL

Synopsis

maxArgLen :: Int opStr :: [String] falseStr :: String brkStr :: String thenStr :: String andTab :: Int brkChar :: Char

Documentation

maxArgLen :: Int

Maximum lenght of a term before splitting it across lines.

opStr :: [String]

Output strings. Listed here as a list of strings for easy manipulation. DO NOT CHANGE THE ORDER OF THE LIST! Most of the operators are obvious; ones that are not are commented.

falseStr :: String

brkStr :: String

thenStr :: String

andTab :: Int

brkChar :: Char

Produced by Haddock version 2.4.1