Module UState.Internal
val reboot : Environ.env -> t -> t
Madness-inducing hack dedicated to the handling of universes of Program. DO NOT USE OUTSIDE OF DEDICATED AREA.
UState.Internal
val reboot : Environ.env -> t -> t
Madness-inducing hack dedicated to the handling of universes of Program. DO NOT USE OUTSIDE OF DEDICATED AREA.