%{
#include "hspincl.h"
%}
%{{
#include "HsVersions.h"

module U_list where
IMP_Ubiq() --  debugging consistency check
import UgenUtil
%}}
type list;
	lcons	: < lhd	: VOID_STAR;
		    ltl : list; >;
	lnil	: <>;
end;