Commit efc97c8a authored by POTTIER Francois's avatar POTTIER Francois Committed by POTTIER Francois
Browse files

A comment in [LR1Sigs].

parent e190f6a7
......@@ -34,7 +34,9 @@ module type LR1_AUTOMATON = sig
val entry : node ProductionMap.t
(* Each node carries outgoing transitions towards other nodes. *)
(* Each node carries outgoing transitions towards other nodes. (Note to
implementors of the signature [LR1_AUTOMATON]: there is no need to
memoize this function; this is done a posteriori, in [Lr1].) *)
val transitions: node -> node SymbolMap.t
......
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