Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: cd7ac57b14
Fetching contributors…

Cannot retrieve contributors at this time

13 lines (11 sloc) 0.313 kb
signature TEMP =
sig
eqtype temp
val newTemp : unit -> temp
structure Table : TABLE sharing type Table.key = temp
structure Set : ORD_SET sharing type Set.Key.ord_key = temp
val toString: temp -> string
type label = Symbol.symbol
val newLabel : unit -> label
val namedLabel : string -> label
end
Jump to Line
Something went wrong with that request. Please try again.