Previous Up Next

Interface for module Temp

type temp 
type label (∗ = Symbol.symbol ∗)

module TableTable.TABLE

val getnewtemp : unit → temp
val getnewlabel : unit → label
val getnamedlabel : string → label

val string_of_temptemp → string (∗ makestring in Appel ∗)
val label_of_stringstring → label (∗ namedlabel in Appel ∗)
val string_of_labellabel → string 

 ,
Previous Up Next