anchor.diff:  - v24: Added a single constructor to the expression type to reflect the addition
     of type applications to the ML extraction language.
   - v25: Added a number of type parameters for globals.
  +- v26: Flags for DExternal and all the DType's
   *)
   
   (* COPY-PASTED ****************************************************************)
  
positive.code: (** Versioned binary writing/reading of ASTs *)
  
  type version = int
  let current_version: version = 25
  
  type file = string * program
  type binary_format = version * list<file>
  
negative.code: and decl =
    | DGlobal of list<flag> * lident * int * typ * expr
    | DFunction of option<cc> * list<flag> * int * typ * lident * list<binder> * expr
    | DTypeAlias of lident * list<flag> * int * typ
    | DTypeFlat of lident * list<flag> * int * fields_t
    | DExternal of option<cc> * list<flag> * lident * typ
    | DTypeVariant of lident * list<flag> * int * branches_t
  
  and cc =
  