Register.1-M
type ('raw, 'glb, 'top) obj
An object manipulating generic arguments.
val name : string
A name for such kind of manipulation, e.g. interp.
interp
val default : ('raw, 'glb, 'top) genarg_type -> ('raw, 'glb, 'top) obj option
A generic object when there is no registered object for this type.