« Previous | Next » 

Revision 740ec004

ID740ec0044cedd19d44c8a15d4849844370bd86d9
Parent 19777638
Child 7847a037

Added by Iustin Pop about 15 years ago

Add a separate type for the [(Int, String)] list

This is added for better readability, since this is very often used in
declarations.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences