- let build_identity (p, (t, l, r, o), m, a) =
- match o with
- | Utils.Gt -> (p, (t, r, r, Utils.Eq), m, a)
- | _ -> (p, (t, l, l, Utils.Eq), m, a)
- in
+(* let build_identity (w, p, (t, l, r, o), m, a) = *)
+(* match o with *)
+(* | Utils.Gt -> (w, p, (t, r, r, Utils.Eq), m, a) *)
+(* | _ -> (w, p, (t, l, l, Utils.Eq), m, a) *)
+(* in *)