Global.Internal
val reset_safe_env : Safe_typing.safe_environment -> unit
Only use for manipulation of private constants