Issue 49 document arrays

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

13 stars 5 forks source link

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

Add description of array types and expressions and regenerate.

kfhoech commented 2 years ago

Resolves #49