Module Spare_marks.ProjBoolMarks

module ProjBoolMarks: Pdg.Register.F_Proj(Config)