ychr-0.1.0.0: test/golden/arity_overload/arity_overload.chr
:- module(arity_overload, [test/2]). :- chr_constraint foo/1, foo/2, test/2. foo(X) <=> X = one. foo(X, Y) <=> X = two, Y = args. test(R1, R2) <=> foo(R1), foo(R2, _).
:- module(arity_overload, [test/2]). :- chr_constraint foo/1, foo/2, test/2. foo(X) <=> X = one. foo(X, Y) <=> X = two, Y = args. test(R1, R2) <=> foo(R1), foo(R2, _).