ychr-0.1.0.0: test/golden/function_overload_arity/function_overload_arity.chr

:- module(function_overload_arity, [result/1]).
:- chr_constraint result/1.
:- function foo/1.
:- function foo/2.

foo(X) -> X * 10.
foo(X, Y) -> X + Y.

result(R) <=> R is foo(1) + foo(1, 2).