ychr-0.1.0.0: test/golden/module_short_form/main.chr

:- module(short_main, [run/2]).
:- use_module(short_lib).

:- chr_constraint run/2.

run(X, R) <=> double(X, Y), R is triple(Y).