package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `UState.Internal`Source

Sourceval reboot : Environ.env -> t -> t

Madness-inducing hack dedicated to the handling of universes of Program. DO NOT USE OUTSIDE OF DEDICATED AREA.