Module Marks.ProjBoolMarks


module ProjBoolMarks: Pdg.Register.F_Proj(Config)