package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Primred.RedNative`Source

Sourcetype elem

Sourcetype args

Sourcetype evd

Sourcetype uinstance

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