Searched refs:toplevel_value (Results 1 – 5 of 5) sorted by relevance
188 static toplevelResourceRec toplevel_value ; variable310 ( toplevel, &toplevel_value, in main()401 ( display, toplevel_value.fontSet, toplevel_value.mfontSet ) ; in main()
79 let toplevel_value id = function86 let glb, pos = toplevel_value id in95 let toplevel_value id = function97 if Config.flambda then toplevel_value id else Translmod.nat_toplevel_name id105 else toplevel_value id253 Some (outval_of_value env (toplevel_value id) val_type)342 outval_of_value newenv (toplevel_value id)
55 SEXP toplevel_value; variable
106 toplevel_value = toplevel; in getStructure()170 bool at_toplevel = (toplevel_value == val); in getStructureWorker()