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