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