CORE_PRETTY_PRINTER
- All Known Implementing Modules:
-
CorePrettyPrinter
-
The First-Order LoopW Type Inference core syntax pretty-printer.
The core pretty-printer converts core abstract syntax into string.
-
stringOfValue
fun stringOfValue form tex v : bool -> bool -> CoreAst.value -> string list
-
converts value into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
form
-
the formula-disply (instead of imperative types) flag.
-
tex
-
the tex flag.
-
v
-
the value.
- Returns:
-
the string representation of v.
stringOfExpression
fun stringOfExpression form tex e
: bool -> bool -> CoreAst.expression -> string list
-
converts expression into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
form
-
the formula-disply (instead of imperative types) flag.
-
tex
-
the tex flag.
-
e
-
the expression.
- Returns:
-
the string representation of e.
stringOfCommand
fun stringOfCommand form tex c : bool -> bool -> CoreAst.command -> string list
-
converts command into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
form
-
the formula-disply (instead of imperative types) flag.
-
tex
-
the tex flag.
-
c
-
the command.
- Returns:
-
the string representation of c.
stringOfSequence
fun stringOfSequence form tex s
: bool -> bool -> CoreAst.sequence -> string list
-
converts sequence into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
form
-
the formula-disply (instead of imperative types) flag.
-
tex
-
the tex flag.
-
s
-
the sequence.
- Returns:
-
the string representation of s.
stringOfProgram
fun stringOfProgram form tex p : bool -> bool -> CoreAst.program -> string list
-
converts program into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
form
-
the formula-disply (instead of imperative types) flag.
-
tex
-
the tex flag.
-
p
-
the program.
- Returns:
-
the string representation of p.
stringOfProgram_Untyped
fun stringOfProgram_Untyped form tex p
: bool -> bool -> CoreAst.program -> string list
-
converts program into string accordingly to the formula/tex demand,
without any type information.
-
- Parameters:
-
-
form
-
the formula-disply (instead of imperative types) flag.
-
tex
-
the tex flag.
-
p
-
the program.
- Returns:
-
the string representation of p.