Overview  Index  Help 

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.

           
Value summary

val stringOfEnv : (FunAst.ident * FunAst.expType) list -> string
           builds a string representation of a typing environment.

val stringOfTerm : FunAst.typed_term -> string list
           builds a string representation of a term.

val stringOfType : FunAst.expType -> string
           builds a string representation of a type.

 

       
Value detail

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.

 


Overview  Index  Help