Quelle PrimitiveProjectionsAttribute.v Sprache: Coq

Unset Primitive Projections.

Record Foo0 := {
  bar0 : Type ;
}.

About Foo0.

#[projections(primitive)]
Record Foo1 := {
  bar1 : Type ;
}.

About Foo1.

#[projections(primitive=yes)]
Record Foo2 := {
  bar2 : Type ;
}.

About Foo2.

#[projections(primitive=no)]
Record Foo3 := {
  bar3 : Type ;
}.

About Foo3.

Set Primitive Projections.

Record Foo4 := {
  bar4 : Type ;
}.

About Foo4.

#[projections(primitive)]
Record Foo5 := {
  bar5 : Type ;
}.

About Foo5.

#[projections(primitive=yes)]
Record Foo6 := {
  bar6 : Type ;
}.

About Foo6.

#[projections(primitive=no)]
Record Foo7 := {
  bar7 : Type ;
}.

About Foo7.

quality99%

¤ Dauer der Verarbeitung: 0.2 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.