Module Wp.TacChoice

Built-in Choice, Absurd & Contrapose Tactical (auto-registered)

module Choice : sig ... end
module Absurd : sig ... end
module Contrapose : sig ... end