functor (Desc : Defs.ClassDescription->
  functor (MakeClass : Defs.FullBuilder->
    sig
      val depends : (module Defs.DepClassBuilder)
      val register_predefs : Type.qname -> Type.qname -> unit
    end