[tiger.ml.git] / compiler / src / lib / tiger / tiger_symbol.mli

type t

val unique_of_string : string -> t

val of_string : string -> t

val to_string : t -> string
(* Reversable. Returns original. *)

val show : t -> string
(* Not-reversable. M-expression with name and symbol. *)

val is_equal : t -> t -> bool
Commit	Line	Data
28875fec SK	1	type t
28875fec SK	2
fd2204fa	3	val unique_of_string : string -> t
35dccbd3	4
28875fec SK	5	val of_string : string -> t
	6
	7	val to_string : t -> string
35dccbd3 SK	8	(* Reversable. Returns original. *)
	9
	10	val show : t -> string
	11	(* Not-reversable. M-expression with name and symbol. *)
cbb4ffb6 SK	12
cbb4ffb6 SK	13	val is_equal : t -> t -> bool