Tuple6 (goblint.Goblint_std.GobTuple.Tuple6)

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

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

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

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

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

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

val map1 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'h) ->
  'i * 'j * 'k * 'l * 'm * 'n

val map2 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'h) ->
  'i * 'j * 'k * 'l * 'm * 'n

val map3 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'h) ->
  'i * 'j * 'k * 'l * 'm * 'n

val map4 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'h) ->
  'i * 'j * 'k * 'l * 'm * 'n

val map5 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'h) ->
  'i * 'j * 'k * 'l * 'm * 'n

val map6 : 
  ('a -> 'b) ->
  ('c * 'd * 'e * 'f * 'g * 'h) ->
  'i * 'j * 'k * 'l * 'm * 'n

val enum : ('a * 'b * 'c * 'd * 'e * 'f) -> 'g BatEnum.t