Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/qualification.v", line 20, characters 0-7:
Error: Signature components for field test do not match: expected type
"qualification.M2.t = qualification.M2.M.t" but found type
"qualification.M2.t = qualification.M2.t".
coqc exited with code 1
[Dauer der Verarbeitung: 0.16 Sekunden, vorverarbeitet 2026-09-29]
