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