Functor Register_gui.Make_HighlighterState


module Make_HighlighterState: 
functor (Info : sig
val name : string
end) -> Computation.Ref(sig
include Cil_datatype.StmtList
val default : unit -> 'a list
end)(sig
val name : string
val dependencies : Project.Computation.t list
end)
Parameters:
Info : sig val name: string end

include Project.Computation.OUTPUT
type data 
Type of the referenced value.
val set : data -> unit
Change the referenced value.
val get : unit -> data
Get the referenced value.
val clear : unit -> unit
Reset the reference to its default value.