fact: Definition all_string_constants' (sh: share) (gv: globals) : mpred := fold_left sepcon (map (sep_of_string_constant sh gv) (filter is_string_constant gc_stack.global_definitions)) emp.
imports: VST.veric.rmaps CertiGraph.lib.List_ext CertiGraph.graph.graph_model CertiGraph.CertiGC.GCGraph CertiGraph.CertiGC.spatial_gcgraph CertiGraph.CertiGC.env_graph_gc CertiGraph.msl_ext.iter_sepcon