@require(extern, type_link) @extends('base_symbol_summary.html') @def type(): @type_link @end @def name(): @extern @end