package Ġarrow . inject . compiler . plugin . fir Ċ Ċ import Ġarrow . inject . compiler . plugin . fir . codegen . Resolved Function Generation Extension Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . Proof Resolution Checker Extension Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . call . Amb iguous Pro ofs Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . call . Cycles Detection Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . call . Missing In duct ive Dependencies Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . call . Un resolved Call Site Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . declaration . Ownership Vi olations Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . declaration . Published Api Vi olations Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . check ers . type . Context Receiver Proof Type Checker Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . contexts . Context Providers Resolution Extension Ċ import Ġarrow . inject . compiler . plugin . fir . resolution . resolver . Proof Cache Ċ import Ġorg . jetbrains . kotlin . fir . F ir Session Ċ import Ġorg . jetbrains . kotlin . fir . extensions . F ir Extension Registrar Ċ Ċ public Ġclass ĠF ir Arrow Inject Extension Registrar ( ĊĠ Ġprivate Ġval Ġproof Cache : ĠPro of Cache , Ċ ) Ġ: ĠF ir Extension Registrar () Ġ{ ĊĊĠ Ġoverride Ġfun ĠExtension Registrar Context . configure Plugin () Ġ{ ĊĠĠĠ Ġ+ { Ġsession : ĠF ir Session Ġ-> ĠContext Providers Resolution Extension ( proof Cache , Ġsession ) Ġ} ĊĠĠĠ Ġ+ { Ġsession : ĠF ir Session Ġ-> ĠResolved Function Generation Extension ( proof Cache , Ġsession ) Ġ} ĊĠĠĠ Ġ+ { Ġsession : ĠF ir Session Ġ-> ĊĠĠĠĠĠ ĠPro of Resolution Checker Extension ( ĊĠĠĠĠĠĠĠ Ġsession Ġ= Ġsession , ĊĠĠĠĠĠĠĠ Ġdeclaration Check ers Ġ= ĊĠĠĠĠĠĠĠĠĠ ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠ ĠOwn ership Vi olations Checker ( session ), ĊĠĠĠĠĠĠĠĠĠĠĠ ĠPub lished Api Vi olations Checker ( session ), ĊĠĠĠĠĠĠĠĠĠ Ġ), ĊĠĠĠĠĠĠĠ Ġcall Check ers Ġ= ĊĠĠĠĠĠĠĠĠĠ ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠ ĠAmb iguous Pro ofs Checker ( proof Cache , Ġsession ), ĊĠĠĠĠĠĠĠĠĠĠĠ ĠC yc les Detection Checker ( proof Cache , Ġsession ), ĊĠĠĠĠĠĠĠĠĠĠĠ ĠMissing In duct ive Dependencies Checker ( proof Cache , Ġsession ), ĊĠĠĠĠĠĠĠĠĠĠĠ ĠUn resolved Call Site Checker ( proof Cache , Ġsession ), ĊĠĠĠĠĠĠĠĠĠ Ġ), ĊĠĠĠĠĠĠĠ Ġtype Check ers Ġ= ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠ ĠContext Receiver Proof Type Checker () ĊĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠ Ġ) ĊĠĠĠ Ġ} ĊĠ Ġ} Ċ } Ċ