aux mismos Y aux cuenta

esta definida de la teorica y/o de la practica...

pero pongamosla porque la usamos. esta definida asi en el apunte de especificacion

aux cuenta (x: T, a: [T]) :Int =long ( [y | y <---a, y==x]];

aux mismos (a, b :[T]) : Bool = |a| == |b| y (Y [/strike] c (perteneciente a ) a) cuenta (c,a) == cuenta (c,b);

joya