Tacinterp.Register
type ('glb, 'top) interp_fun = interp_sign -> 'glb -> 'top Ftactic.t
val register_interp0 : ('raw, 'glb, 'top) Genarg.genarg_type -> ('glb, 'top) interp_fun -> unit