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