Functor Register_gui.Make_HighlighterState

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:
Info : sig val name: string end

type data_in_list 
include State_builder.Ref
val add : data_in_list -> unit
Since Nitrogen-20111001
val iter : (data_in_list -> unit) -> unit
val fold_left : ('a -> data_in_list -> 'a) -> 'a -> 'a