Re: [PPL-devel] definitions.dox