:- module test.

:- interface.

:- pred dèja(int::in) is semidet.

:- implementation.

dèja(5).