diff options
Diffstat (limited to 'src/InterpreterUtils.ml')
| -rw-r--r-- | src/InterpreterUtils.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index a808e14c..315459fc 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -21,6 +21,14 @@ let rty_to_string = PA.rty_to_string let symbolic_value_to_string = PA.symbolic_value_to_string +let borrow_content_to_string = PA.borrow_content_to_string + +let loan_content_to_string = PA.loan_content_to_string + +let aborrow_content_to_string = PA.aborrow_content_to_string + +let aloan_content_to_string = PA.aloan_content_to_string + let typed_value_to_string = PA.typed_value_to_string let typed_avalue_to_string = PA.typed_avalue_to_string |