package Ġarrow . inject . compiler . plugin . fir . resolution . resolver Ċ Ċ import Ġarrow . inject . compiler . plugin . model . Proof Ċ import Ġorg . jetbrains . kotlin . fir . resolve . calls . Candidate Ċ Ċ internal Ġsealed Ġclass ĠPro of Resolution Result Ġ{ ĊĠ Ġdata Ġclass ĠC andidates ( val Ġcandidates : ĠSet < Candidate >) Ġ: ĠPro of Resolution Result () ĊĠ Ġdata Ġclass ĠC yc les Found ( val Ġproof : ĠPro of ) Ġ: ĠPro of Resolution Result () Ċ } Ċ