ychr-0.1.0.0: test/golden/eval_deep_term/eval_deep_term.chr
:- module(eval_deep_term, [box/2, nested/2]). :- chr_constraint box/2, nested/2. box(In, Out) <=> Out is quote(wrap(In)). nested(In, Out) <=> Out is quote(outer(middle(In))).
:- module(eval_deep_term, [box/2, nested/2]). :- chr_constraint box/2, nested/2. box(In, Out) <=> Out is quote(wrap(In)). nested(In, Out) <=> Out is quote(outer(middle(In))).