Tuple6 (p.goblint.2.6.0.doc.goblint.std.Goblint

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

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

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

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

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

Sourceval 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