module Make_HighlighterState:functor (
Info
:
sig
val name :string
end
) ->
State_builder.List_ref
(
Cil_datatype.Stmt
)
(
sig
val name :string
val dependencies :State.t list
end
)
Parameters: |
|
type
data_in_list
include State_builder.Ref
val add : data_in_list -> unit
val iter : (data_in_list -> unit) -> unit
val fold_left : ('a -> data_in_list -> 'a) -> 'a -> 'a