X-Git-Url: https://svn.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/22281bef330c4b8dda5217f5b7d0f77257c568ae..60771194f4808507a435db7c201e3e75675986be:/interpretor/types.ml

diff --git a/interpretor/types.ml b/interpretor/types.ml
index 3f0631b..0b7cfde 100644
--- a/interpretor/types.ml
+++ b/interpretor/types.ml
@@ -91,6 +91,9 @@ class type rate_type =
   object
     method to_int : int
     method to_float : float 
+    method to_string : string
+    method num : int
+    method denom : int
     method equal : rate_type -> bool
     method mul : int -> rate_type
     method div : int -> rate_type
@@ -130,6 +133,9 @@ class type signal_type =
       method prefix : signal_type -> signal_type
     end;;
 
+type matrix = float array array;;
+
+type data = float array array array;;
 
 class type beam_type =
     object
@@ -140,8 +146,8 @@ class type beam_type =
       method append : beam_type -> beam_type
       method matching : int -> beam_type
       method at : time -> value_type array
-      method output : int -> float array array array
-      method frequency : int array
+      method output : int -> data
+      method frequency : rate_type array
     end;;
 
 
@@ -170,5 +176,5 @@ 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
+      method write : rate_type array -> data -> string array
     end;;