Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
f nat (pair_foo nat bool nat_foo bool_foo) x : T2 nat
: T2 nat
f ?T ?f x : T2 ?T
: T2 ?T
where
?T : [ |- Type]
?f : [ |- foo ?T]
f bool bool_foo x : T2 bool
: T2 bool
[ Dauer der Verarbeitung: 0.27 Sekunden
]
