Defines the types for the opam format lexer and parser
Relational operators
type pos = file_name * int * intSource file positions: (filename, line, column)
type value = | Bool of pos * boolbool atoms
| Int of pos * intint atoms
| String of pos * stringstring atoms
| Relop of pos * relop * value * valueRelational operators with two values (e.g. os != "win32")
| Prefix_relop of pos * relop * valueRelational operators in prefix position (e.g. < "4.07.0")
| Logop of pos * logop * value * valueLogical operators
*)| Pfxop of pos * pfxop * valuePrefix operators
*)| Ident of pos * stringIdentifiers
*)| List of pos * value listLists of values ([x1 x2 ... x3])
| Group of pos * value listGroups of values ((x1 x2 ... x3))
| Option of pos * value * value listValue with optional list (x1 {x2 x3 x4})
| Env_binding of pos * value * env_update_op * valueEnvironment variable binding (FOO += "bar")
Base values
type opamfile_section = {section_kind : string;Section kind (e.g. extra-source)
section_name : string option;Section name (e.g. "myfork.patch")
section_items : opamfile_item list;Content of the section
*)}An opamfile section
and opamfile_item = | Section of pos * opamfile_sectione.g. kind ["name"] { ... }
| Variable of pos * string * valuee.g. opam-version: "2.0"
An opamfile is composed of sections and variable definitions
type opamfile = {file_contents : opamfile_item list;Content of the file
*)file_name : file_name;Name of the disk file this record was loaded from
*)}A file is a list of items and the filename