Module Primred.RedNative

Parameters

• E : RedNativeEntries

Signature

type elem = E.elem

type args = E.args

type evd = E.evd

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