X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/8d0f7daae8a3ec7cda6d4a74c4c819d5ece97a8b..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;;