1 files changed, 9 insertions, 11 deletions
diff --git a/src/expressions/sym_expr.ml b/src/expressions/sym_expr.ml
index 4f5d6a6..843b8a4 100755..100644
--- a/src/expressions/sym_expr.ml
+++ b/src/expressions/sym_expr.ml
@@ -23,26 +23,24 @@ module type SYM_EXPR = sig
 
   type t
 
-  type repr
-
   type obs
 
-  val value : 'a T.t -> t -> repr
+  val value : 'a T.t -> t
 
-  val ref : 'a R.t -> t -> repr
+  val ref : 'a R.t -> t
 
-  val call0 : UTF8.t -> t -> repr
+  val call0 : UTF8.t -> t
 
-  val call1 : UTF8.t -> repr -> t -> repr
+  val call1 : UTF8.t -> t -> t
 
-  val call2 : UTF8.t -> repr -> repr -> t -> repr
+  val call2 : UTF8.t -> t -> t -> t
 
-  val call3 : UTF8.t -> repr -> repr -> repr -> t -> repr
+  val call3 : UTF8.t -> t -> t -> t -> t
 
-  val callN: UTF8.t -> repr list -> t -> repr
+  val callN: UTF8.t -> t list -> t
 
-  val expression : repr -> t -> repr
+  val expression : t -> t
 
-  val observe : repr -> obs
+  val observe : t -> obs
 
 end