Module Primred.RedNative
Parameters
Signature
type elem= E.elemtype args= E.argstype evd= E.evdtype uinstance= E.uinstance
val red_prim : Environ.env -> evd -> CPrimitives.t -> uinstance -> args -> elem option
Primred.RedNativetype elem = E.elemtype args = E.argstype evd = E.evdtype uinstance = E.uinstanceval red_prim : Environ.env -> evd -> CPrimitives.t -> uinstance -> args -> elem option