let _,_,_,constructor_list = List.nth ind_type_list typeno in
let i_constr_id,_ = List.nth constructor_list (consno - 1) in
let patterns =
let _,_,_,constructor_list = List.nth ind_type_list typeno in
let i_constr_id,_ = List.nth constructor_list (consno - 1) in
let patterns =