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