typos in comment
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
2af9e254d1
commit
03d5a3378a
|
@ -30,12 +30,12 @@ open Printf
|
||||||
|
|
||||||
|
|
||||||
(*
|
(*
|
||||||
Many functions on the various data structures ofthe algorithm :
|
Many functions on the various data structures of the algorithm :
|
||||||
- Pattern matrices.
|
- Pattern matrices.
|
||||||
- Default environments: mapping from matrices to exit numbers.
|
- Default environments: mapping from matrices to exit numbers.
|
||||||
- Contexts: matrices whose column are partitioned into
|
- Contexts: matrices whose column are partitioned into
|
||||||
left and right.
|
left and right.
|
||||||
- Jump sumaries: mapping from exit numbers to contexts
|
- Jump summaries: mapping from exit numbers to contexts
|
||||||
*)
|
*)
|
||||||
|
|
||||||
type matrix = pattern list list
|
type matrix = pattern list list
|
||||||
|
|
Loading…
Reference in New Issue