Tuple6 (goblint.Goblint_std.GobTuple.Tuple6)

val first : ('a * 'b * 'c * 'd * 'e * 'f) -> 'a

val second : ('a * 'b * 'c * 'd * 'e * 'f) -> 'b

val third : ('a * 'b * 'c * 'd * 'e * 'f) -> 'c

val fourth : ('a * 'b * 'c * 'd * 'e * 'f) -> 'd

val fifth : ('a * 'b * 'c * 'd * 'e * 'f) -> 'e

val sixth : ('a * 'b * 'c * 'd * 'e * 'f) -> 'f

val map1 : 
  ('a -> 'b) ->
  ('a * 'c * 'd * 'e * 'f * 'g) ->
  'b * 'c * 'd * 'e * 'f * 'g

val map2 : 
  ('a -> 'b) ->
  ('c * 'a * 'd * 'e * 'f * 'g) ->
  'c * 'b * 'd * 'e * 'f * 'g

val map3 : 
  ('a -> 'b) ->
  ('c * 'd * 'a * 'e * 'f * 'g) ->
  'c * 'd * 'b * 'e * 'f * 'g

val map4 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'a * 'f * 'g) ->
  'c * 'd * 'e * 'b * 'f * 'g

val map5 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'a * 'g) ->
  'c * 'd * 'e * 'f * 'b * 'g

val map6 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'a) ->
  'c * 'd * 'e * 'f * 'g * 'b