functor (Desc : Defs.ClassDescription) (MakeClass : Defs.InnerClassBuilder)
  -> sig end