Made the interface more parametrized

1 files changed, 5 insertions, 3 deletions

diff --git a/lib/syntax/tree.ml b/lib/syntax/tree.ml
index 02c6b36..db8abd9 100644
--- a/lib/syntax/tree.ml
+++ b/lib/syntax/tree.ml
@@ -89,10 +89,12 @@ module Instruction :
   let expression : expression -> t S.repr =
    fun expr report -> (Ast.Expression (fst (expr [])), report)
 
-  type clause = S.pos * expression * t S.repr list
-
   let if_ :
-      S.pos -> clause -> elifs:clause list -> else_:t S.repr list -> t S.repr =
+      S.pos ->
+      (expression, t) S.clause ->
+      elifs:(expression, t) S.clause list ->
+      else_:t S.repr list ->
+      t S.repr =
    fun pos predicate ~elifs ~else_ report ->
     let clause (pos, expr, repr) =
       let repr = List.map ~f:(fun instr -> fst @@ instr []) repr in