package Ġedu . wpi . in nd ie . dsl . imports Ċ Ċ import Ġarrow . core . N el Ċ import Ġarrow . core . Validated Ċ Ċ /** Ċ Ġ* ĠValid ates Ġsets Ġof ĠImports . Ċ Ġ*/ Ċ interface ĠImport Validator Ġ{ ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠValid ates Ġthat Ġthe Ġ[ imports ] Ġdo Ġnot Ġconflict Ġwith Ġeach Ġother . ĊĠĠĠĠ Ġ* ĊĠĠĠĠ Ġ* Ġ@ param Ġimports ĠThe Ġimports Ġto Ġvalidate . ĊĠĠĠĠ Ġ* Ġ@ return ĠEither Ġthe Ġoriginal Ġimports Ġor Ġa Ġlist Ġof Ġinvalid Ġimports . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġfun Ġvalidate Imports ( imports : ĠSet < Import >): ĠValid ated < N el < Import >, ĠSet < Import >> Ċ } Ċ