\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-module U = NUri
-module L = Log
-module Y = Entity
-module B = Brg
-module E = BrgEnvironment
-module R = BrgReduction
-module T = BrgType
+module U = NUri
+module L = Log
+module E = Entity
+module B = Brg
+module BE = BrgEnvironment
+module BR = BrgReduction
+module BT = BrgType
(* Interface functions ******************************************************)
(* to share *)
let type_check err f st = function
- | a, uri, Y.Abst t ->
+ | a, uri, E.Abst t ->
let f xt tt =
- let e = E.set_entity (a, uri, Y.Abst xt) in f tt e
+ let e = BE.set_entity (a, uri, E.Abst xt) in f tt e
in
- L.loc := U.string_of_uri uri; T.type_of err f st R.empty_kam t
- | a, uri, Y.Abbr t ->
+ L.loc := U.string_of_uri uri; BT.type_of err f st BR.empty_kam t
+ | a, uri, E.Abbr t ->
let f xt tt =
let xt = match xt with
| B.Cast _ -> xt
| _ -> B.Cast ([], tt, xt)
in
- let e = E.set_entity (a, uri, Y.Abbr xt) in f tt e
+ let e = BE.set_entity (a, uri, E.Abbr xt) in f tt e
in
- L.loc := U.string_of_uri uri; T.type_of err f st R.empty_kam t
- | _, _, Y.Void -> assert false
+ L.loc := U.string_of_uri uri; BT.type_of err f st BR.empty_kam t
+ | _, _, E.Void -> assert false