Vconvval vm_conv :
Conversion.conv_pb ->
Constr.types Conversion.kernel_conversion_functionval vm_conv_gen :
Conversion.conv_pb ->
Genlambda.evars ->
( Constr.types, 'a ) Conversion.generic_conversion_functionA conversion function parametrized by a universe comparator and evar normalizer. Used outside of the kernel.