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