package body GLOBE_3D.OptionsTo API docTo spec is
function Is_debug_modeTo API docTo spec return Boolean is
begin
return
show_normalsTo API docTo spec or
show_portalsTo API docTo spec or
full_check_objectsTo API docTo spec or
filter_portal_depthTo API docTo spec;
end Is_debug_modeTo API docTo specTo body;
end GLOBE_3D.OptionsTo API docTo specTo body;