# -*- python -*-
import :std:

unit dist
unit km (dist)
unit mile (dist)
    
def func_1(x: {dist}):
    return "dist1"

def func_2(x: {km}):
    return "km2"

def func_2(x: {mile}):
    return "mile2"

def func_3(x: {dist}):
    return "dist3"

def func_3(x: {km}):
    return "km3"

def main(x):
    print(func_1(1 {km}))
    print(func_1(1 {mile}))
    print(func_2(1 {km}))
    print(func_2(1 {mile}))
    print(func_3(1 {km}))
    print(func_3(1 {mile}))

# EXECUTE
# dist1
# dist1
# km2
# mile2
# km3
# dist3