diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Print.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index a4a8b1d4..82c5dac5 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -7,6 +7,9 @@ module PrimitiveValues = Charon.PrintPrimitiveValues module Types = Charon.PrintTypes module Expressions = Charon.PrintExpressions +let list_to_string (to_string : 'a -> string) (ls : 'a list) : string = + "[" ^ String.concat "; " (List.map to_string ls) ^ "]" + (** Pretty-printing for values *) module Values = struct type value_formatter = { |