Module Api.Select.S

module S: Cil_datatype.Varinfo.Map.Make(SlicingTypes.Fct_user_crit)