packages feed

ychr-0.1.0.0: test/golden/cross_module_import/lib.chr

:- module(cross_lib, [double/2]).

:- chr_constraint double/2.

double(X, R) <=> R is X * 2.