stdlib_test.chr

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

:- use_module(library(lists)).

:- chr_constraint go/2.

go(L, N) <=> N is length(L).