ychr-0.1.0.0: test/golden/guard/guard.chr
:- module(guard, [clamp/3]). :- use_module(prelude). :- chr_constraint clamp/3. low @ clamp(X, Lo, R) <=> X < Lo + 1 - 1 | R = Lo. high @ clamp(X, Lo, R) <=> X >= Lo + 1 - 1 | R = X.
:- module(guard, [clamp/3]). :- use_module(prelude). :- chr_constraint clamp/3. low @ clamp(X, Lo, R) <=> X < Lo + 1 - 1 | R = Lo. high @ clamp(X, Lo, R) <=> X >= Lo + 1 - 1 | R = X.