Functor Dpds_gui.Make_StmtSetState


module Make_StmtSetState: 
functor (Info : sig
val name : string
end) -> State_builder.Ref(Cil_datatype.Stmt.Set)(sig
val name : string
val dependencies : State.t list
val kind : [> `Internal ]
val default : unit -> Cil_datatype.Stmt.Set.t
end)
Parameters:
Info : sig val name: string end

include State_builder.S
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.