Module Std_kernel.Tuple2

module Tuple2: Tuple.T2