Module `Nativeconv`

val native_conv : Conversion.conv_pb -> Genlambda.evars -> Constr.types Conversion.kernel_conversion_function
val native_conv_gen : Conversion.conv_pb -> Genlambda.evars -> Environ.env -> 'a Conversion.generic_conversion_function: A conversion function parametrized by a universe comparator. Used outside of the kernel.

val w_native_disabled : CWarnings.warning