Register (p.coq-core.8.17.1.doc.coq-core.lib.Genarg.Register)

module M : GenObj

val register0 : 
  ('raw, 'glb, 'top) genarg_type ->
  ('raw, 'glb, 'top) M.obj ->
  unit

Register a ground type manipulation function.

Sourceval obj : ('raw, 'glb, 'top) genarg_type -> ('raw, 'glb, 'top) M.obj

Recover a manipulation function at a given type.

Module `Genarg.Register`Source