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