notation for declaring a function non-expansive See merge request !42
Attach a file by drag & drop or click to upload
