CorePrettyPrinter
-
The First-Order LoopW Type Inference core syntax pretty-printer.
The core pretty-printer converts core abstract syntax into string.
-
stringOfBlock_internal
fun stringOfBlock_internal tab form tex typ annot b
-
converts block into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
tab
-
the tabulation level.
-
form
-
the formula-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
typ
-
flag indicating whether types have to be displayed.
-
annot
-
flag indicating whether block annotation has to be displayed (for proc...).
-
b
-
the block.
- Returns:
-
the string representation of the block.
stringOfCommand_internal
fun stringOfCommand_internal tab form tex typ c
-
converts command into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
tab
-
the tabulation level.
-
form
-
the formula-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
typ
-
flag indicating whether types have to be displayed.
-
c
-
the command.
- Returns:
-
the string representation of the command.
stringOfSequence_internal
fun stringOfSequence_internal tab form tex typ s
-
converts sequence into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
tab
-
the tabulation level.
-
form
-
the formula-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
typ
-
flag indicating whether types have to be displayed.
-
s
-
the sequence.
- Returns:
-
the string representation of the sequence.
stringOfExpression_internal
fun stringOfExpression_internal tab form tex typ e
-
converts expression into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
tab
-
the tabulation level.
-
form
-
the formula-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
typ
-
flag indicating whether types have to be displayed.
-
e
-
the expression.
- Returns:
-
the string representation of the expression.
stringOfExpressionList
fun stringOfExpressionList tab form tex typ el
-
converts expression list into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
tab
-
the tabulation level.
-
form
-
the formula-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
typ
-
flag indicating whether types have to be displayed.
-
el
-
the expression list.
- Returns:
-
the string representation of the expression list.
stringOfValue_internal
fun stringOfValue_internal tab form tex typ v
-
converts value into string accordingly to the formula/tex demand.
-
- Parameters:
-
-
tab
-
the tabulation level.
-
form
-
the formula-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
typ
-
flag indicating whether types have to be displayed.
-
v
-
the value.
- Returns:
-
the string representation of the value.
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-display (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-display (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-display (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-display (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-display (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-display (instead of imperative types) flag.
-
tex
-
the tex flag.
-
p
-
the program.
- Returns:
-
the string representation of p.