ychr-0.1.0.0: test/golden/discontiguous_function_decls/discontiguous_function_decls.chr
:- function f/1. :- chr_constraint foo/1. :- function (f(int) -> int). f(N) -> N. foo(X) <=> true.
:- function f/1. :- chr_constraint foo/1. :- function (f(int) -> int). f(N) -> N. foo(X) <=> true.