Module IR.BiabductionModels
val mem : Procname.t -> boolCheck if a summary for a given procedure exists in the models directory
IR.BiabductionModelsval mem : Procname.t -> boolCheck if a summary for a given procedure exists in the models directory