@require(enum) @extends('base_symbol_summary.html') @def type(): enum @end @def name(): @enum @end