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