diff options
author | pacien | 2018-04-22 22:39:56 +0200 |
---|---|---|
committer | pacien | 2018-04-22 22:39:56 +0200 |
commit | 0027c7b647e1b345badbb01bcafd22feee075470 (patch) | |
tree | 8cf72c45c517b20c1adfe4eba25f8b3358115282 /reg.mli | |
parent | db9de5bc717be46f0ca2dc1aa975c75adca6264d (diff) | |
download | urm-0027c7b647e1b345badbb01bcafd22feee075470.tar.gz |
Implement program execution from command line
Diffstat (limited to 'reg.mli')
-rw-r--r-- | reg.mli | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 *) |
23 | val regs_set : reg list -> regidx -> regval -> reg list | 23 | val regs_set : reg list -> regidx -> regval -> reg list |
24 | |||
25 | (* Returns the string representation of a register list. *) | ||
26 | val regs_string : reg list -> string | ||
27 | |||