aboutsummaryrefslogtreecommitdiff
path: root/parser.mli
diff options
context:
space:
mode:
Diffstat (limited to 'parser.mli')
-rw-r--r--parser.mli7
1 files changed, 7 insertions, 0 deletions
diff --git a/parser.mli b/parser.mli
index d210396..f7609f9 100644
--- a/parser.mli
+++ b/parser.mli
@@ -11,5 +11,12 @@ val string_of_file : in_channel -> string
11(* Converts lexemes into instructions. *) 11(* Converts lexemes into instructions. *)
12val program_of_lex : string list -> urmcmd list 12val program_of_lex : string list -> urmcmd list
13 13
14(* Converts lexemes into registers. *)
15val regs_of_lex : string list -> reg list
16
14(* Parses the string representation of a program. *) 17(* Parses the string representation of a program. *)
15val program_of_string : string -> urmcmd list 18val program_of_string : string -> urmcmd list
19
20(* Parses the string representation of serialized registers. *)
21val regs_of_string : string -> reg list
22