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