From f2c196c5eddc36bd547726a4375f040d9a588aca Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 6 Jan 2017 14:47:59 +0100
Subject: [PATCH] remove module alias

---
 src/Model.mli | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/src/Model.mli b/src/Model.mli
index 8ebc15e..08cd436 100644
--- a/src/Model.mli
+++ b/src/Model.mli
@@ -3,30 +3,28 @@
 
 (** {1 Model} *)
 
-module A = Ast
-
-type term = A.term
-type ty = A.Ty.t
+type term = Ast.term
+type ty = Ast.Ty.t
 type domain = ID.t list
 
 type t = private {
-  env: A.env;
+  env: Ast.env;
   (* environment, defining symbols *)
-  domains: domain A.Ty.Map.t;
+  domains: domain Ast.Ty.Map.t;
   (* uninterpreted type -> its domain *)
   consts: term ID.Map.t;
   (* constant -> its value *)
 }
 
 val make :
-  env:A.env ->
+  env:Ast.env ->
   consts:term ID.Map.t ->
-  domains:domain A.Ty.Map.t ->
+  domains:domain Ast.Ty.Map.t ->
   t
 
 val pp : t CCFormat.printer
 val pp_tip : t CCFormat.printer
-val pp_syn : A.syntax -> t CCFormat.printer
+val pp_syn : Ast.syntax -> t CCFormat.printer
 
 val eval : t -> term -> term