Up
–
batteries
»
BatTuple
»
Tuple3
»
Ord
» 2-T2
Parameter
Ord.2-T2
type
t
val
ord :
t
BatOrd.ord