f ::= fn(t::=, x :t) t {
  	  x + 1
};

main ::= fn() {
	 f(13);
};