module C_labels:State_builder.Ref
(
Datatype.Option
(
Cil_datatype.Logic_label.Map.Make
(
Cvalue.Model
)
)
)
(
sig
val name :string
val dependencies :State.t list
val default :unit -> 'a option
end
)
include State_builder.S
type
data
val set : data -> unit
val get : unit -> data
val clear : unit -> unit