-
Andrei Paskevich authored
Now, there are three kinds of types used in WhyML API: ity -- the type of first-order values, "i" stands for "individual" aty -- the type of higher-order values, "a" stands for "arrow" vty -- the sum of the previous two, "v" stands for "value" We should probably rename the VTvalue constructor, since it carries an ity, and not a vty. And I would gladly rename ity to something more appropriate, too.
0e35697f