| products/Sources/formale Sprachen/C/LibreOffice/sc/qa/extras/ (Office von Apache Version 25.8.3.2©) Datei vom 5.10.2025 mit Größe 4 kB |
|
Quelle bug_17644.vSprache: Coq |
|||||||||||||||
|
Module Import A1. Polymorphic Axiom nd1 : Type. End A1. Module Import B1. Notation nd1 := nd1@{Set}. End B1. Definition x := nd1. (* A.nd1: implicit generated instance forced > Set by univ mono of "x" *) Check x : Set. Definition y := B1.nd1. Check y : Set.
¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet am 2026-04-28) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-28