module Make_StmtSetState:functor (
Info
:
sig
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: |
|
include State_builder.S
type
data
val set : data -> unit
val get : unit -> data
val clear : unit -> unit