FUN_PRETTY_PRINTER
- All Known Implementing Modules:
-
FunPrettyPrinter
-
The First-Order LoopW Proof Checker functional pretty-printer.
The functional pretty-printer converts functional terms into string.
-
stringOfEnv
fun stringOfEnv env : (FunAst.ident * FunAst.expType) list -> string
-
builds a string representation of a typing environment.
-
- Parameters:
-
-
env
-
the environment.
- Returns:
-
the string representation of env.
stringOfType
fun stringOfType t : FunAst.expType -> string
-
builds a string representation of a type.
-
- Parameters:
-
-
t
-
the type.
- Returns:
-
the string representation of t.
stringOfTerm
fun stringOfTerm t : FunAst.typed_term -> string list
-
builds a string representation of a term.
-
- Parameters:
-
-
t
-
the term.
- Returns:
-
the string representation of t.