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