Hello,What is the purpose of 'meta coercion function', often used in the standard library?
I understand that this statement declares a coercion, but what impact does it have on proofs, if any?
Best regards, Alain _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
