Previous
Up
Module
Cil_datatype.Annotation_Status
module
Annotation_Status:
S
with type t = annotation_status