products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Union.v   Sprache: Coq

rahmenlose Ansicht.out DruckansichtLatech {Latech[76] HTML[167] Fortran[182]}zum Wurzelverzeichnis wechseln

{| field := 5 |}
     : test
{| field := 5 |}
     : test
{| field_r := 5 |}
     : test_r
build_c 5
     : test_c
build 5
     : test
build 5
     : test
{| field_r := 5 |}
     : test_r
build_c 5
     : test_c
fun '(C _ p) => p
     : N -> True
fun '{| T := T |} => T
     : N -> Type
fun '(C T p) => (T, p)
     : N -> Type * True
fun '{| q := p |} => p
     : M -> True
fun '{| U := T |} => T
     : M -> Type
fun '{| U := T; q := p |} => (T, p)
     : M -> Type * True
fun '{| U := T; a := a; q := p |} => (T, p, a)
     : M -> Type * True * nat
fun '{| U := T; a := a; q := p |} => (T, p, a)
     : M -> Type * True * nat

[ Verzeichnis aufwärts0.195unsichere Verbindung  ]