X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c55d1f23d06e85b0e21cdf5cbc5c8efb6ac3bc1a..f3caf3d551b4ba1cd98d55678f0fd8085522669f:/interpreter/types.ml diff --git a/interpreter/types.ml b/interpreter/types.ml index da486f2..585b0ed 100644 --- a/interpreter/types.ml +++ b/interpreter/types.ml @@ -255,5 +255,5 @@ class type io_type = object method set : string -> string -> string -> unit method read : string array -> beam_type - method write : rate_type array -> data -> string array + method write : rate_type array -> data -> string * string -> string array end;;