-record(type_section, {function_types :: list(gwr@spec:function_type())}).