Browse Source
This type can reference any type of entity in a function. It will be used for the location of verifier error messages and other annotations.pull/3/head
Jakob Stoklund Olesen
8 years ago
1 changed files with 55 additions and 0 deletions
Loading…
Reference in new issue