sig
val
debug : bool
Pervasives
.ref
val
get_comments :
Cil_types
.location
->
string list
end