ychr-0.1.0.0: test/golden/function_basic/function_basic.chr
:- module(function_basic, [check/2]). :- chr_constraint check/2. :- function is_one/1. is_one(1) -> true. is_one(_) -> false. check(X, R) <=> R is is_one(X).
:- module(function_basic, [check/2]). :- chr_constraint check/2. :- function is_one/1. is_one(1) -> true. is_one(_) -> false. check(X, R) <=> R is is_one(X).