Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
id : ∀ {A : Type}, A -> A
id is not universe polymorphic
Arguments id {A}%_type_scope a
id is transparent
Expands to: Constant Utf8Impargs.id
Declared in library Utf8Impargs, line 6, characters 11-13
[ Dauer der Verarbeitung: 0.23 Sekunden
]
