Previous
Up
Next
Module
Std_kernel.Tuple2
module
Tuple2:
Tuple.T2