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