X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_symbol.mli;fp=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_symbol.mli;h=1dd5accfeafa829a2c192e7656a58b857c25eefe;hp=e5c560fd91ae9294ebf6eddc0ab2a28af1903e10;hb=35dccbd3999a8c3bb1dc9e96e21b69a39f44fc6f;hpb=e6e82c0866db4eb08f956b2582e5c2ed5399e986 diff --git a/compiler/src/lib/tiger/tiger_symbol.mli b/compiler/src/lib/tiger/tiger_symbol.mli index e5c560f..1dd5acc 100644 --- a/compiler/src/lib/tiger/tiger_symbol.mli +++ b/compiler/src/lib/tiger/tiger_symbol.mli @@ -1,7 +1,13 @@ type t +val new_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