class type g_status =
object
inherit Interpretations.g_status
+ inherit NCicLibrary.g_status
method disambiguate_db: db
end
DisambiguateTypes.InterprEnv.empty } >}
method set_disambiguate_status
: 'status. #g_status as 'status -> 'self
- = fun o -> ((self#set_interp_status o)#set_disambiguate_db o#disambiguate_db)
+ = fun o -> ((self#set_interp_status o)#set_disambiguate_db
+ o#disambiguate_db)#set_lib_status o
end
(* let eval_with_new_aliases status f =