package Ġsoup . animation . sample . utils Ċ Ċ fun Ġl erp ( from : ĠInt , Ġto : ĠInt , Ġprogress : ĠFloat ): ĠFloat Ġ{ ĊĠĠĠ Ġreturn Ġ( 1 Ġ- Ġprogress ) Ġ* Ġfrom Ġ+ Ġto Ġ* Ġprogress Ċ } Ċ Ċ fun Ġl erp ( from : ĠFloat , Ġto : ĠFloat , Ġprogress : ĠFloat ): ĠFloat Ġ{ ĊĠĠĠ Ġreturn Ġ( 1 Ġ- Ġprogress ) Ġ* Ġfrom Ġ+ Ġto Ġ* Ġprogress Ċ } Ċ