﻿:: {i8:i8}

`` func F(x) := Abs(x - 7);
`` func G(x) := Unk(x - 7);
`` func f(x) := abs(x - 7);

F(3)
F(i8)
G(3)
G(i8)
f(3)
f(i8)

`` func H() := 1;
H(3)
3->H()
H(3, i8)
i8->H(3)
