• Andrei Paskevich's avatar
    whyml: rename vty_arrow to aty · 0e35697f
    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
mlw_ty.ml 29.8 KB