463
edits
Elsa Ast Type TemplateInfo: Difference between revisions
Jump to navigation
Jump to search
add supertype link and record info
(update to olmar v2) |
(add supertype link and record info) |
||
| Line 1: | Line 1: | ||
<!-- Besides the comments at the end this page has been generated | <!-- Besides the comments at the end this page has been generated | ||
-- with the olmar wiki bot on behalf of Hendrik Tews | -- with the olmar wiki bot on behalf of Hendrik Tews. | ||
--> __NOTOC__ | --> __NOTOC__ | ||
TemplateInfo is a Ast | TemplateInfo is a Ast type node (without any subtype nodes). TemplateInfo is a record. | ||
=== Data Fields === | === Record Data Fields === | ||
* template_info_params : [[Elsa Ast Type Variable|Variable]] list | * template_info_params : [[Elsa Ast Type Variable|Variable]] list | ||
| Line 28: | Line 28: | ||
TemplateInfo has no subtype nodes. | TemplateInfo has no subtype nodes. | ||
=== Comments === | === Comments === | ||