module Pscope_warn: State_builder.List_ref(Cil_datatype.Code_annotation)(sigval name : stringval dependencies : State.t listval kind : [> `Internal ]end)
State_builder.List_ref
(
Cil_datatype.Code_annotation
)
sig
val name : string
string
val dependencies : State.t list
State.t list
val kind : [> `Internal ]
[> `Internal ]
end
type data_in_list
include State_builder.Ref
val iter : (data_in_list -> unit) -> unit
(data_in_list -> unit) -> unit
val fold_left : ('a -> data_in_list -> 'a) -> 'a -> 'a
('a -> data_in_list -> 'a) -> 'a -> 'a