products/sources/formale Sprachen/VDM/VDMRT/VDMRT/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Demo.v   Sprache: Coq

Inductive List (A : Set) : Set :=
  | Nil : List A
  | Cons : A -> List A -> List A.

Fail Type (match Nil nat return List nat with
      | NIL   => NIL
      | (CONS _ _)  => NIL
      end).

[ zur Elbe Produktseite wechseln0.0Quellennavigators  Analyse erneut starten  ]