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