Module `Imandrakit.Core_classes`

Some fundamental base classes

class type named = object ... end

Named object

class virtual named' : object ... end

class type with_stats = object ... end

Statistics

class with_stats' : with_stats

Default class for with_stats