Module Clenv.Internal

val refiner : clausenv -> unit Proofview.tactic

The legacy refiner. Do not use.