unit dist (arith)
unit mile (dist)
unit meter (dist)

unit mult (arith)
unit kilo (mult)

unit km = kilo meter

def to_mile(i: {km}):
    var conv_fac = (0.62 {mile / km})
    return i * conv_fac

def main(x):
    print(to_mile(1 {km}))

# EXECUTE
# 0.62 mile