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