module Make_StmtSetState:functor (
Info
:
sig
end
) ->
Computation.Ref
(
sig
include Cil_datatype.StmtSetval default :unit -> Cilutil.StmtSet.t
end
)
(
sig
val name :string
val dependencies :Project.Computation.t list
end
)
Parameters: |
|
include Project.Computation.OUTPUT
type
data
val set : data -> unit
val get : unit -> data
val clear : unit -> unit