hide : string -> ({Name : string, Thy : string} list * {Name : string, Thy : string} list)
The effect can be reversed by Parse.update_overload_maps. The function reveal is only the inverse of hide if the only constants mapped to by the string all have that string as their names. (These constants will all be in different theories.)