Module Goblint_std.GobTuple

module Tuple6 : sig ... end