Module dyon::lifetime
[−]
[src]
Modules
node |
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) |