aboutsummaryrefslogtreecommitdiff
path: root/reg.mli
diff options
context:
space:
mode:
authorpacien2018-04-22 22:39:56 +0200
committerpacien2018-04-22 22:39:56 +0200
commit0027c7b647e1b345badbb01bcafd22feee075470 (patch)
tree8cf72c45c517b20c1adfe4eba25f8b3358115282 /reg.mli
parentdb9de5bc717be46f0ca2dc1aa975c75adca6264d (diff)
downloadurm-0027c7b647e1b345badbb01bcafd22feee075470.tar.gz
Implement program execution from command line
Diffstat (limited to 'reg.mli')
-rw-r--r--reg.mli4
1 files changed, 4 insertions, 0 deletions
diff --git a/reg.mli b/reg.mli
index 15d53de..f5e41a0 100644
--- a/reg.mli
+++ b/reg.mli
@@ -21,3 +21,7 @@ val regs_get : reg list -> regidx -> regval
21(* Set the value of the register to value, 21(* Set the value of the register to value,
22 * or creates it to the value specified if it does not exist *) 22 * or creates it to the value specified if it does not exist *)
23val regs_set : reg list -> regidx -> regval -> reg list 23val regs_set : reg list -> regidx -> regval -> reg list
24
25(* Returns the string representation of a register list. *)
26val regs_string : reg list -> string
27