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