(* Interface functions ******************************************************)
+IFDEF TYPE THEN
+
(* to share *)
let type_check err f st = function
| ra, na, uri, E.Abst t ->
BT.type_of err f st BR.empty_rtm t
| _, _, _, E.Void -> assert false
+END
+
let validate err f st e =
let uri, t = match e with
| _, _, uri, E.Abst t -> uri, t