Module ContextUtil

val has_attribute : string -> Cil.attribute list -> bool
val should_keep : keepOption:string -> removeAttr:string -> keepAttr:string -> CilType.Fundec.t -> bool