diff options
Diffstat (limited to 'reg.mli')
-rw-r--r-- | reg.mli | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -22,6 +22,8 @@ val regs_get : reg list -> regidx -> regval | |||
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 | 24 | ||
25 | (* Sorts a list of registers in ascending index order *) | ||
26 | val regs_sort : reg list -> reg list | ||
27 | |||
25 | (* Returns the string representation of a register list. *) | 28 | (* Returns the string representation of a register list. *) |
26 | val regs_string : reg list -> string | 29 | val regs_string : reg list -> string |
27 | |||