Parameter Eq.2-Error

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