Documentation of the Lustre parser