I find that in parse.y,you write like this
  > TOK_TYPE global_id ':' refined_type opt_attr opt_attr_attr';'
    type_list '{' type_decl_list '}'

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

Because in the manual,we define a record like this
"type conn_id : record{
        orig_h : addr ; # Address of originating host.
        Orig_p: port; # Port used by originator.
        Resp_h: addr; # Address of responding host.
        Resp_p : port; # Port used by responder.
There is only one record here ???

Please help me!