Up
–
batteries
»
BatTuple
»
Tuple5
»
Eq
» 2-T2
Parameter
Eq.2-T2
type
t
val
eq :
t
BatOrd.eq