let rec _Attribution_Type_Hash our_Hash_table hash_table_temp =
match (hash_table_temp) with
[] -> ([],false)
| cet_element::liste_restante ->
let traitement_restant, modification_restante =
_Attribution_Type_Hash our_Hash_table liste_restante
in
match cet_element with
| Parametre(nomModule, id, Inconnu, rang) ->
let parametre, modification =
_Traitement_param_Inconnu
(Parametre (nomModule, id, Inconnu, rang))
our_Hash_table
in
(parametre :: traitement_restant, modification || modification_restante)
| Autre(monModule, id, Constructeur(Construct(sonType, Ensemble(liste_constr)))) ->
let parametre, modification =
_Traitement_Constr_Inconnu monModule sonType
liste_constr
our_Hash_table
in
(Autre(monModule,
id,
Constructeur( Construct (sonType,
Ensemble(parametre))))
::(traitement_restant), modification || modification_restante)
| Autre(monModule, id, Defini(expr)) ->
let sonExpr, modif = (_Modification_Expr expr our_Hash_table monModule) in
(Autre(monModule, id, Defini((sonExpr)))
::(traitement_restant), modif || modification_restante)
| Autre(monModule, id, Inconnu) ->
let parametre, modification =
_Traitement_Autre_Inconnu monModule
id
our_Hash_table
in
(parametre
::(traitement_restant), (modification || modification_restante))
| cet_e ->
(cet_e::traitement_restant, modification_restante)