Module Generic_fun_equal.Sumprod

module Sumprod: Equal 

val equal : 'a Ty.T.ty -> 'a -> 'a -> bool