package Ġcom . meas ures . international . distance Ċ Ċ import Ġcom . meas ures . distance . Meter Ċ import Ġcom . meas ures . distance . Unit Distance Ċ Ċ fun ĠUnit Distance <* >. to International Foot () Ġ= Ġto Unit ( International Foot ( 1 . 0 )) Ċ fun ĠUnit Distance <* >. to International In ch () Ġ= Ġto Unit ( International In ch ( 1 . 0 )) Ċ fun ĠUnit Distance <* >. to International M ile () Ġ= Ġto Unit ( International M ile ( 1 . 0 )) Ċ fun ĠUnit Distance <* >. to International P ica () Ġ= Ġto Unit ( International P ica ( 1 . 0 )) Ċ fun ĠUnit Distance <* >. to International Point () Ġ= Ġto Unit ( International Point ( 1 . 0 )) Ċ fun ĠUnit Distance <* >. to International Y ard () Ġ= Ġto Unit ( International Y ard ( 1 . 0 )) Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠInternational Foot ( override Ġval Ġvalue : ĠDouble ) Ġ: ĠUnit Distance < International Foot > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġas Type ( d : ĠDouble ) Ġ= ĠInternational Foot ( d ); ĊĠĠĠ Ġoverride Ġfun Ġas Base Unit () Ġ= ĠInternational Y ard ( value Ġ/ Ġ 3 . 0 ). as Base Unit () Ċ } Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠInternational In ch ( override Ġval Ġvalue : ĠDouble ) Ġ: ĠUnit Distance < International In ch > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġas Type ( d : ĠDouble ) Ġ= ĠInternational In ch ( d ); ĊĠĠĠ Ġoverride Ġfun Ġas Base Unit () Ġ= ĠInternational Foot ( value Ġ/ Ġ 1 2 . 0 ). as Base Unit () Ċ } Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠInternational M ile ( override Ġval Ġvalue : ĠDouble ) Ġ: ĠUnit Distance < International M ile > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġas Type ( d : ĠDouble ) Ġ= ĠInternational M ile ( d ); ĊĠĠĠ Ġoverride Ġfun Ġas Base Unit () Ġ= ĠInternational Y ard ( value Ġ* Ġ 1 7 6 0 . 0 ). as Base Unit () Ċ } Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠInternational P ica ( override Ġval Ġvalue : ĠDouble ) Ġ: ĠUnit Distance < International P ica > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġas Type ( d : ĠDouble ) Ġ= ĠInternational P ica ( d ); ĊĠĠĠ Ġoverride Ġfun Ġas Base Unit () Ġ= ĠInternational In ch ( value Ġ/ Ġ 6 . 0 ). as Base Unit () Ċ } Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠInternational Point ( override Ġval Ġvalue : ĠDouble ) Ġ: ĠUnit Distance < International Point > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġas Type ( d : ĠDouble ) Ġ= ĠInternational Point ( d ); ĊĠĠĠ Ġoverride Ġfun Ġas Base Unit () Ġ= ĠInternational P ica ( value Ġ/ Ġ 1 2 . 0 ). as Base Unit () Ċ } Ċ Ċ @ Jvm Inline Ċ value Ġclass ĠInternational Y ard ( override Ġval Ġvalue : ĠDouble ) Ġ: ĠUnit Distance < International Y ard > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġas Type ( d : ĠDouble ) Ġ= ĠInternational Y ard ( d ); ĊĠĠĠ Ġoverride Ġfun Ġas Base Unit () Ġ= ĠMeter ( 0 . 9 1 4 4 Ġ* Ġvalue ) Ċ } ĊĊĊ