diff options
Diffstat (limited to 'src/lem_interp/printing_functions.mli')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index ebb21152..c9d69eef 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -8,10 +8,11 @@ val loc_to_string : l -> string (*Returns the result of above for the exp's location *) val get_loc : tannot exp -> string (*interp_interface.value to string*) -val val_to_string : value0 -> string +val reg_value_to_string : register_value -> string val val_to_string_internal : Interp.lmem -> Interp.value -> string -(*Force all representations to hex strings instead of a mixture of hex and binary strings*) -val val_to_hex_string : value0 -> string + +(*(*Force all representations to hex strings instead of a mixture of hex and binary strings*) +val val_to_hex_string : value0 -> string*) (* format one register *) val reg_name_to_string : reg_name -> string (* format the register dependencies *) |