5 

     5 

     6 (* enriched objects, closely related to static objects, so are only 3 kinds *)

     6 (* enriched objects, closely related to static objects, so are only 3 kinds *)

     7 datatype t_enrich_obj = 

     7 datatype t_enrich_obj = 

     8   E_proc "t_process" "t_msgq" "t_msgq"

     8   E_proc "t_process" "t_msgq" "t_msgq"

     9 | E_file "t_file" "nat" 

     9 | E_file "t_file" "nat" 

    10 | E_msgq "t_msgq"

    11 | E_msgq "t_msgq"

    11 

    12 

    12 (* objects that need dynamic indexing, all nature-numbers *)

    13 (* objects that need dynamic indexing, all nature-numbers *)

    13 datatype t_index_obj = 

    14 datatype t_index_obj = 

    14   I_proc "t_process" 

    15   I_proc "t_process"