pp (lazy ("lunghezza rs = " ^ string_of_int (List.length rs)));
let ys = List.map (fun n -> "y" ^ (string_of_int n)) (HExtlib.list_seq (leftno+1) (nparams+1)) in
- let id_xs = List.map mk_id xs in
+ let _id_xs = List.map mk_id xs in
let id_ls = List.map mk_id ls in
let id_rs = List.map mk_id rs in
let id_ys = List.map mk_id ys in