diff options
| author | Peter Sewell | 2014-11-01 11:38:22 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-01 11:38:22 +0000 |
| commit | 9c24fc37a60d4cf8594d2967da90c73a4d604725 (patch) | |
| tree | eab6429574a2645d05bf8c0eb11275b8b914f3d2 /src | |
| parent | 696da0d81c14f6f6897d4685996a0290a26850e8 (diff) | |
extend interface
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index 17cbbbeb..c101ce83 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -9,6 +9,7 @@ val loc_to_string : l -> string val get_loc : tannot exp -> string (*interp_interface.value to string*) val val_to_string : value0 -> string +val val_to_string_internal : 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 (* format one register *) |