// ciklicne definicije
typ t1 = (i:int, n: t2)
typ t2 = (j:int, n: t1)

fun a():int = b()
fun b():int = a()