/[mojave]/metaprl/theories/mc/mp_mc_fir_exp.mli
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_exp.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3587 by emre, Fri Apr 19 08:09:21 2002 UTC revision 3588 by emre, Sat Apr 27 02:45:24 2002 UTC
# Line 1  Line 1 
1  (*  (*
2   * Functional Intermediate Representation formalized in MetaPRL.   * The Mp_mc_fir_exp module defines terms to represent
3   *   * FIR expressions.
  * Define terms to represent FIR types and terms.  
  * Specific FIR types represented here: unop, binop, sub_block, sub_value,  
  * sub_index, sub_script, atom, alloc_op, tailop, pred_nop, pred_unop,  
  * pred_binop, pred, debug_line, debug_vars, debug_info, exp, fundef.  
4   *   *
5   * ----------------------------------------------------------------   * ----------------------------------------------------------------
6   *   *
  * Copyright (C) 2002 Brian Emre Aydemir, Caltech  
  *  
7   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
8   * logical framework that provides a logical programming   * logical framework that provides a logical programming
9   * environment for OCaml and other languages.   * environment for OCaml and other languages.
# Line 17  Line 11 
11   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
12   * OCaml, and more information about this system.   * OCaml, and more information about this system.
13   *   *
14     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
15     *
16   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
17   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
18   * as published by the Free Software Foundation; either version 2   * as published by the Free Software Foundation; either version 2

Legend:
Removed from v.3587  
changed lines
  Added in v.3588

  ViewVC Help
Powered by ViewVC 1.1.26