# -*- python -*- import :std: unit km unit mile def identify(x: int {km}, y: int {mile}): return "km, mile" def identify(x: int {mile}, y: int {km}): return "mile, km" def main(x): print(identify(1 {km}, 2 {mile})) print(identify(1 {mile}, 2 {km})) # EXECUTE # km, mile # mile, km