module Global_acsl_stats: State_builder.Ref(Acsl_stats)(sig val name : string val dependencies : State.t list val default : unit -> Metrics_acsl.acsl_statsend)
State_builder.Ref
(
Acsl_stats
)
sig
val name : string
string
val dependencies : State.t list
State.t list
val default : unit -> Metrics_acsl.acsl_stats
unit -> Metrics_acsl.acsl_stats
end
include State_builder.S
type data
val set : data -> unit
data -> unit
val get : unit -> data
unit -> data
val clear : unit -> unit
unit -> unit