Skip to Content.
Sympa Menu

coq-club - extraction to pairs

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

extraction to pairs


chronological Thread 
  • From: Ewen Denney <ewd AT dai.ed.ac.uk>
  • To: coq AT pauillac.inria.fr
  • Subject: extraction to pairs
  • Date: Tue, 16 Jan 2001 10:15:27 +0000
  • Organization: Mathematical Reasoning Group, Division of Informatics, Edinburgh University

Salut,

How can an extraction be forced to use native Ocaml pairs rather than
defining its own products?

Ewen






Archive powered by MhonArc 2.6.16.

Top of Page