Module Primred.RedNative

Parameters

Signature

type elem = E.elem
type args = E.args
type evd = E.evd
val red_prim : Environ.env -> evd -> CPrimitives.t -> args -> elem option