record

"refined_type:
    type_list '{' type_decl_list '}'
"

Why is there a 'type_list' here but a type???

Good eye!

That's a holdover from when I was experimenting with adding a form of
inheritence to Bro records. You should ignore it for now.

    Vern