Ast definition for this version

val version : int
val string_version : string

Shortcut for talking about Ast types

A construtor for recovering type equalities between two arbitrary versions.

Information used to derive migration functions, see below