Previous
Up
Module
Cil_datatype.Annot_Status_List
module
Annot_Status_List:
S
with type t = annot_status list