fact: Definition empty_compspecs : compspecs.
imports: VST.floyd.base VST.floyd.assert_lemmas VST.floyd.client_lemmas VST.floyd.nested_pred_lemmas VST.floyd.mapsto_memory_block CertiGraph.msl_ext.abs_addr CertiGraph.msl_ext.seplog CertiGraph.msl_ext.log_normalize CertiGraph.veric_ext.SeparationLogic