|
(* Error message was not printed in the correct environment *)
Fail Parameters (A:Prop) (a:A A).
(* This is a variant (reported as part of bug #2347) *)
Require Import EquivDec.
Fail Program Instance bool_eq_eqdec : EqDec bool eq :=
{equiv_dec x y := (fix aux (x y : bool) {struct x}:= aux _ y) x y}.
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
