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