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.