Makefile and configure cleaning (configure is no more needed).

[Faustine.git] / interpretor / types.ml

diff --git a/interpretor/types.ml b/interpretor/types.ml
index 3f0631b..0b7cfde 100644 (file)
--- 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;;