Previous
Up
Next
Module
Cil_datatype.Annot_Status
module
Annot_Status:
S
with type t = annot_status