Files in the directory source/front implement the front of various system
components (currently tjcc, tjdis and tjsim).

parseargs.ml/mli
================
  Defines auxiliary functions for parsing command line arguments.


compilerfront.ml
================
  Defines compiler front (tjcc).


disassemblerfront.ml
====================
  Defines disassembler front (tjdis). (The code implementing the
  disassembler resides in source/disassembler).


simulatorfront.ml
=================
  Defines simulatorfront (tjsim).

simerrors.ml{mli}
=================
  Defines ocaml exceptions and their mapping to the c exceptions defined
  in source/system/error.h

front.ml{mli}
============
  Defines system and simulator initialization functions.

module.ml{mli}
==============
  Defines structures and operations on 
  1) (ocaml) system module table;
  2) (ocaml) top-level module;
  3) link and load operations;
  4) install module and open module context operations;

query.ml{mli}
=============
  Defines functions for parsing, solving queries and displaying answer 
  substitution

readterm.ml{mli}
=================
  Defines function for parsing a given query and create relevant structures
  onto the simulator heap.

 
front_c.h{c}
============
  Defines C functions invoked from front.ml and module.ml for system and 
  simulator initialization; linking and loading modules; installing 
  modules and open module context.

query_c.h{c}
============
  Defines C functions invoked from query.ml for solving queries or display
  answer substitutions.

ccode_stubs.mli
===============
  Interface declaration for the invocation of C functions from OCaml code.

ccode_stubs.c
==============
  Interface functions for the invocation of C functions from OCaml code.
