Module dyon::lifetime
[−]
[src]
Functions
| check |
Checks lifetime constraints and does type checking. Returns refined return types of functions to put in AST. |
Type Definitions
| ArgNames |
Maps (function, argument_name) => (argument, index) |