[isabelle] Product or function?


If I want to model a line graph, should I give it the type of a product
(real * real) or a function (real => real)? With a product type, would the
graph be perceived as a set of pairs?

Thanks for the help in advance.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.