[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
	1	type t
	2
	3	val unique_of_string : string -> t
	4
	5	val of_string : string -> t
	6
	7	val to_string : t -> string
	8	(* Reversable. Returns original. *)
	9
	10	val show : t -> string
	11	(* Not-reversable. M-expression with name and symbol. *)
	12
	13	val is_equal : t -> t -> bool