Module Ssreflect_plugin.Ssrvernac

val warn_search_moved_enabled : bool Stdlib.ref