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