PRETTY_PRINTER_KEYWORDS
- All Known Implementing Modules:
-
PrettyPrinterKeywords, BasePrettyPrinter, ProofChecker, ProofPrettyPrinter,
FunPrettyPrinter
-
The First-Order LoopW Proof Checker pretty-printer keywords for abstract syntax.
The pretty-printer keywords providing string representation of all keywords, accordingly to the tex flag.
-
Value summary
|
val kwd : bool -> string -> string
default keyword.
|
val kwdAnd : bool -> string
and keyword.
|
val kwdBot : bool -> string
bot keyword.
|
val kwdExists : bool -> string
exists keyword.
|
val kwdForall : bool -> string
forall keyword.
|
val kwdImplies : bool -> string
implies keyword.
|
val kwdNeg : bool -> string
neg keyword.
|
val kwdStar : bool -> string
star keyword.
|
val kwdTop : bool -> string
top keyword.
|
val kwdVBar : bool -> string
| keyword.
|
val kwdVdash : bool -> string
|- keyword.
|
kwdForall
fun kwdForall tex : bool -> string
-
forall keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of forall.
kwdExists
fun kwdExists tex : bool -> string
-
exists keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of exists.
kwdAnd
fun kwdAnd tex : bool -> string
-
and keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of and.
kwdImplies
fun kwdImplies tex : bool -> string
-
implies keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of implies.
kwdNeg
fun kwdNeg tex : bool -> string
-
neg keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of neg.
kwdTop
fun kwdTop tex : bool -> string
-
top keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of top.
kwdBot
fun kwdBot tex : bool -> string
-
bot keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of bot.
kwdStar
fun kwdStar tex : bool -> string
-
star keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of star.
kwdVBar
fun kwdVBar tex : bool -> string
-
| keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of |.
kwdVdash
fun kwdVdash tex : bool -> string
-
|- keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
- Returns:
-
the string representation of |-.
kwd
fun kwd tex k : bool -> string -> string
-
default keyword.
-
- Parameters:
-
-
tex
-
the tex flag.
-
k
-
the keyword.
- Returns:
-
the string representation of k.