Commit acad03e3 authored by POTTIER Francois's avatar POTTIER Francois

Added [Terminal.i2t], which is unsafe and should be used with caution.

parent 776b2e8b
......@@ -153,6 +153,7 @@ module Terminal = struct
type t = int
let t2i i = i
let i2t i = i
let compare = (-)
......
......@@ -108,10 +108,12 @@ module Terminal : sig
val lookup : string -> t
(* Terminals can be converted to integers. This feature is exploited
in the table-based back-end and in [LRijkstra]. *)
(* Terminals can be converted to integers. This feature is exploited in the
table-based back-end and in [LRijkstra]. The reverse conversion, [i2t],
is unsafe and should not be used. [LRijkstra] uses it :-) *)
val t2i: t -> int
val i2t: int -> t (* unsafe! *)
(* This produces a string representation of a terminal. *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment