Up
–
coq
»
Ssreflect_plugin
» Ssrvernac
Module
Ssreflect_plugin.Ssrvernac
val
warn_search_moved_enabled :
bool Stdlib.ref