Overview  Index  Help 

PRETTY_PRINTER_KEYWORDS

All Known Implementing Modules:

PrettyPrinterKeywordsBasePrettyPrinterCorePrettyPrinterProofPrettyPrinter,
ProofDerivPrettyPrinter


The First-Order LoopW Type Inference 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.

 

       
Value detail

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.

 


Overview  Index  Help