package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Coq_checklib.Safe_checking`Source

val import : 
  Safe_typing.safe_environment ->
  Mod_checking.opaques ->
  Safe_typing.compiled_library ->
  Safe_typing.vodigest ->
  Safe_typing.safe_environment * Mod_checking.opaques

Source

val unsafe_import : 
  Safe_typing.safe_environment ->
  Safe_typing.compiled_library ->
  Safe_typing.vodigest ->
  Safe_typing.safe_environment

package rocq-runtime

Module Coq_checklib.Safe_checkingSource

Module `Coq_checklib.Safe_checking`Source