package Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . elements Ċ Ċ interface ĠIf Expression Ġ: ĠExpression Ġ{ ĊĠ Ġval Ġcondition : ĠExpression ? ĊĠ Ġval Ġthen Expression : ĠExpression ? ĊĠ Ġval Ġelse Expression : ĠExpression ? Ċ } Ċ