Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
bar_1: bar = 1
First.bar_1: First.bar = 1
bar: nat
First.bar: nat
First.bar_1: First.bar = 1
bar_1: bar = 1
bar_1: bar = 1
bar_1: bar = 1
one_bar: 1 = bar
baz_foo: baz tt = foo
baz: unit -> t
baz_foo: baz tt = foo
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-06-04]
