Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/bug_12887.v", line 5, characters 25-26:
The command has indeed failed with message:
Cannot infer this placeholder of type "Type" in
environment:
Functor : (Type -> Type) -> Type
F : Type -> Type
fmap : forall A B : Type, (A -> B) -> F A -> F B
File "./output/bug_12887.v", line 8, characters 0-53:
The command has indeed failed with message:
Cannot infer an existential variable of type "nat" in
environment:
R : nat -> Type
[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-06-04]
