Lustre syntax