Module Class
class type empty = { ... }
class type mutually = { ... }
and recursive = { ... }
and recursive': recursive
class type virtual empty_virtual = { ... }
class virtual empty_virtual': empty
class type ('a) polymorphic = { ... }
class ('a) polymorphic': polymorphic('a)