| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/ (NIST Cobol Test-Suite ©) Datei vom 15.8.2025 mit Größe 390 B |
|
Quellcode-Bibliothek PrimitiveProjectionsAttribute_Records.vSprache: Coq |
|||||||||||||||
|
Unset Primitive Projections. (* Classes *do* support primitive projections. *) #[projections(primitive)] Class B := { b : nat ; }. About B. (* Structures *do* support primitive projections. *) #[projections(primitive)] Structure C := { c : nat ; }. About C. (* (negative) CoInductives *do* support primitive projections. *) #[projections(primitive)] CoInductive G := { g : G }. About G.
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.9Bemerkung: (vorverarbeitet am 2026-06-04) ¤*Bot Zugriff |
|
||||||||||||||
2026-07-09