Module Oug_mod_remove


module Oug_mod_remove: sig .. end

val remove_elts : Oug_mod.t -> Oug_types.Elt_set.t -> Oug_mod.t
Since we don't keep elements "above" removed elements (see Oug_reload), we can brutally remove the elements without removing it from actions, environments, ...