Functor Dpds_gui.Make_StmtSetState


module Make_StmtSetState: 
functor (Info : sig
val name : string
end) -> Computation.Ref(sig
include Cil_datatype.StmtSet
val default : unit -> Cilutil.StmtSet.t
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.