let type_decl = id