let set_struct_desc ~env id def = 
  try 
    (List.assoc id env.struct_table) := def
  with
    Not_found -> assert false