(* metasw := List.fold_left (fun s (i, _) -> IntSet.add i s) !metasw m; *)
w
in
- (weight_of ty) + (weight_of left) + (weight_of right) +
- !metasw
+ let w = (weight_of ty) + (weight_of left) + (weight_of right) in
+ w + !metasw
(* (4 * IntSet.cardinal !metasw) *)
;;