rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Optional symbols missing in type of abstract constructor functions

Open rodinaarssen opened this issue 2 years ago • 0 comments

Describe the bug

image

Desktop (please complete the following information):

  • Context: VS Code
  • Rascal Version: 0.28.3

rodinaarssen avatar Mar 02 '23 10:03 rodinaarssen