Core_classes.with_stats'
Default class for with_stats
with_stats
method add_stats : Imandrakit__.Stats.t -> unit
Add statistics.