Module Std_kernel.Tuple3

module Tuple3: Tuple.T3