HOL.Print

isSymbolChar

isSymbolString

ppSymbolName

type PrefixOp

ppPrefixOps

type Prec

data Assoc

type InfixOp

ppInfixOps

class Printable a

quoteNamespace

quoteName