Parameter Eq.2-Second

type t
val eq : t -> t -> bool