length_test.chr

:- module(length_test, [go/2]).

:- use_module(library(lists)).

:- chr_constraint go/2.

go(Xs, R) <=> R is length(Xs).