functor (Desc : Defs.ClassDescription->
  functor (MakeClass : Defs.ClassBuilder->
    sig val register_predefs : Type.qname -> Type.qname -> unit end