Previous
Up
Next
Module
Cil_datatype.Annot_Status_List
module
Annot_Status_List:
S
with type t = annot_status list
Deprecated.
Boron-20100401