Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL M/     Datei vom 4.1.2008 mit Größe 1 kB image not shown  

Quelle  bug_19556.v   Sprache: unbekannt

 

Section Lists.

  Universe ua.

  Variable A : Type@{ua}.

  Definition tl (l:list A) :=
    match l with
      | nil => nil
      | cons a m => m
    end.

  (* unification used to force the opposite constraint *)
  Constraint list.u0 < ua.

End Lists.

100%


[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]