package coq

You can search for identifiers within the package.

in-package search v0.2.0

Module `Reductionops.CredNative`Source

Sourcetype elem = EConstr.t

Sourcetype args = EConstr.t array

Sourcetype evd = Evd.evar_map

Sourcetype uinstance = EConstr.EInstance.t

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