eafileio.n

This file includes the ways to dump and load nML EA results.

• exception Invalid_header
  When a dumped file is written by a different version of nML EA, this exception is raised.
• fileIOext: string
  The file extension of nML EA is ``.nea''.
• dump: string -> EaUtils.basis -> unit
  dump filename.n result dumps the analysis result (result) of the nML file (filename.n) to the result file (filename.nea).
• load: string -> EaUtils.basis * EaUtils.tables
  load filename.nfa loads the pre-analyzed file (filename.nea) and returns the pre-analyzed results.