(* id: accesso all'ambiente con stringa *)
inductive ast_id (e:aux_env_type) : bool → ast_type → Type ≝
AST_ID: ∀str:aux_str_type.
- (* D *) check_desc_env e str → ast_id e (get_const_desc (get_desc_env e str)) (get_type_desc (get_desc_env e str)).
+ (* D *) (check_desc_env e str) → (ast_id e (get_const_desc (get_desc_env e str)) (get_type_desc (get_desc_env e str))).
(* -------------------------- *)