ychr-0.1.0.0: test/golden/cross_module_import/main.chr
:- module(cross_main, [quadruple/2]). :- use_module(cross_lib, [double/2]). :- chr_constraint quadruple/2. quadruple(X, R) <=> double(X, Y), double(Y, R).
:- module(cross_main, [quadruple/2]). :- use_module(cross_lib, [double/2]). :- chr_constraint quadruple/2. quadruple(X, R) <=> double(X, Y), double(Y, R).