diff options
Diffstat (limited to 'src/lem_interp/printing_functions.mli')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index b1086e1b..92deef2a 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -61,4 +61,9 @@ val print_instruction : (string -> unit) -> instruction -> unit val register_value_to_string : register_value -> string val memory_value_to_string : memory_value -> string + +val logfile_register_value_to_string : register_value -> string +val logfile_memory_value_to_string : memory_value -> string +val logfile_address_to_string : address -> string + val byte_list_to_string : byte list -> string |