Quelle seqs.prf Sprache: Lisp

(seqs
(seq1_def_TCC1 0
  (seq1_def_TCC1-1 nil 3410712680 ("" (subtype-tcc) nil nil)
   ((seq1 const-decl "ne_seqs" seqs nil)) nil))
(seq1_def 0
  (seq1_def-1 nil 3410712694 ("" (grind) nil nil)
   ((seq1 const-decl "ne_seqs" seqs nil)) shostak))
(rev_TCC1 0
  (rev_TCC1-1 nil 3410712680 ("" (subtype-tcc) nil nil)
   ((int_minus_int_is_int application-judgement "int" integers nil))
   nil)))

quality100%