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