1type abc n { 2 func mult x = n * x 3 export mult 4} 5 6type xyz { 7 func add x y = x + y 8 export add 9} 10 11proc main!() { 12 exit xyz::add (abc 3::mult 4) 5 13}