Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
bla : Prop
bla is not universe polymorphic
bla uses section variables A x.
bla is transparent
Expands to: Constant PrintSecDeps.S.bla
Declared in library PrintSecDeps, line 6, characters 13-16
bli : nat
bli is not universe polymorphic
bli is transparent
Expands to: Constant PrintSecDeps.S.bli
Declared in library PrintSecDeps, line 10, characters 13-16
bla : forall A : Type, A -> Prop
bla is not universe polymorphic
Arguments bla A%_type_scope x
bla is transparent
Expands to: Constant PrintSecDeps.bla
Declared in library PrintSecDeps, line 6, characters 13-16
bli : nat
bli is not universe polymorphic
bli is transparent
Expands to: Constant PrintSecDeps.bli
Declared in library PrintSecDeps, line 10, characters 13-16
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-04]
