sig
val nextident : int Pervasives.ref
val getident : unit -> int
val cabslu : Cabs.cabsloc
module Comments :
sig
val self : State.t
val add : Cabs.cabsloc -> string -> unit
val get : Cabs.cabsloc -> string list
val iter : (Cabs.cabsloc -> string -> unit) -> unit
val fold : (Cabs.cabsloc -> string -> 'a -> 'a) -> 'a -> 'a
end
val missingFieldDecl : string * Cabs.decl_type * 'a list * Cabs.cabsloc
val isStatic : Cabs.spec_elem list -> bool
val isExtern : Cabs.spec_elem list -> bool
val isInline : Cabs.spec_elem list -> bool
val isTypedef : Cabs.spec_elem list -> bool
val get_definitionloc : Cabs.definition -> Cabs.cabsloc
val get_statementloc : Cabs.statement -> Cabs.cabsloc
val explodeStringToInts : string -> int64 list
val valueOfDigit : char -> int64
val d_cabsloc : Cabs.cabsloc Pretty_utils.formatter
val push_attr_test : unit -> unit
val pop_attr_test : unit -> unit
val is_attr_test : unit -> bool
end