package treeprint

  1. Overview
  2. Docs
val sequence : ppr list -> ppr

for e1; e2; e3

val if_then_else : ppr -> ppr -> ppr -> ppr

for if e1 then e2 else e3

val if_then : ppr -> ppr -> ppr

for if e1 then e2

val ty_as : ppr -> ppr -> ppr

for t as 'a

val tuple : ppr list -> ppr

for e1, e2, e3

val (^->) : ppr -> ppr -> ppr

for t1 -> t2

val (+) : ppr -> ppr -> ppr

for e1 + e2

val (-) : ppr -> ppr -> ppr

for e1 - e2

val (*) : ppr -> ppr -> ppr

for e1 * e2

val ty_tuple : ppr list -> ppr

for t1 * t2 * t3

val uminus : ppr -> ppr

for - e

val app : ppr -> ppr -> ppr

for e1 e2