X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/blobdiff_plain/a6be79ccb7456a5181561f094c1f2a4f90aadb02..e5552e34f62e4d8f39040419999b3395879f36c0:/interpretor/types.ml diff --git a/interpretor/types.ml b/interpretor/types.ml index 17dea67..dae188f 100644 --- a/interpretor/types.ml +++ b/interpretor/types.ml @@ -153,6 +153,7 @@ class type process_type = class type io_type = object + method set : string -> string -> unit method read : string array -> beam_type method write : int array -> float array array array -> string array end;;