Quelle  Utf8Impargs.out   Sprache: unbekannt

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