From 0027c7b647e1b345badbb01bcafd22feee075470 Mon Sep 17 00:00:00 2001
From: pacien
Date: Sun, 22 Apr 2018 22:39:56 +0200
Subject: Implement program execution from command line

---
 reg.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'reg.mli')

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
 (* Set the value of the register to value,
  * or creates it to the value specified if it does not exist *)
 val regs_set : reg list -> regidx -> regval -> reg list
+
+(* Returns the string representation of a register list. *)
+val regs_string : reg list -> string
+
-- 
cgit v1.2.3