Module TacModMask

module TacModMask: sig .. end

val modmask : Tactical.tactical