- let f tt obj = f (Some tt) (Some obj) in
- let f xt tt = E.set_obj (f tt) (e, uri, B.abst a xt) in
- L.loc := e; T.type_of f ~si g R.empty_machine t
+ let f tt entry = f (Some tt) (Some entry) in
+ let f xt tt = E.set_entry (f tt) (e, uri, B.abst a xt) in
+ L.loc := e; T.type_of err f ~si g R.empty_kam t