let f xt tt =
let e = BE.set_entity (ra, na, uri, E.Abst xt) in f tt e
in
- BT.type_of err f st BR.empty_kam t
+ BT.type_of err f st BR.empty_rtm t
| ra, na, uri, E.Abbr t ->
let err msg = err (L.Uri uri :: msg) in
let f xt tt =
in
let e = BE.set_entity (ra, na, uri, E.Abbr xt) in f tt e
in
- BT.type_of err f st BR.empty_kam t
+ BT.type_of err f st BR.empty_rtm t
| _, _, _, E.Void -> assert false
let validate err f st e =
in
let err msg = err (L.Uri uri :: msg) in
let f () = let _ = BE.set_entity e in f () in
- BV.validate err f st BR.empty_kam t
+ BV.validate err f st BR.empty_rtm t