e.g. body of SDL files is not needed if the function is an instance of a function type.
Attach a file by drag & drop or click to upload
Maxime Perrotin authored