Primred.RedNative
type elem
type args
type evd
type uinstance
val red_prim : Environ.env -> evd -> CPrimitives.t -> uinstance -> args -> elem option