ychr-0.1.0.0: test/golden/module_short_form/lib.chr
:- module(short_lib). :- chr_constraint double/2. :- function triple/1. triple(N) -> N * 3. double(X, R) <=> R is X * 2.
:- module(short_lib). :- chr_constraint double/2. :- function triple/1. triple(N) -> N * 3. double(X, R) <=> R is X * 2.