module Acsl_stats:Datatype.Make
(
sig
typet =
Metrics_acsl.acsl_stats
val reprs :Metrics_acsl.acsl_stats list
val name :string
include Datatype.Serializable_undefinedval pretty :Format.formatter -> Metrics_acsl.acsl_stats -> unit
end
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.