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

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

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.   * @begin[doc]
3   *   * @theory[Mp_mc_fir_exp]
4   * Define terms to represent FIR types and terms.   *
5   * Specific FIR types represented here: unop, binop, sub_block, sub_value,   * The @tt{Mp_mc_fir_exp} module defines terms to represent
6   * sub_index, sub_script, atom, alloc_op, tailop, pred_nop, pred_unop,   * FIR expressions.
7   * pred_binop, pred, debug_line, debug_vars, debug_info, exp, fundef.   * @end[doc]
8   *   *
9   * ----------------------------------------------------------------   * ----------------------------------------------------------------
10   *   *
11   * Copyright (C) 2002 Brian Emre Aydemir, Caltech   * @begin[license]
  *  
12   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
13   * logical framework that provides a logical programming   * logical framework that provides a logical programming
14   * environment for OCaml and other languages.   * environment for OCaml and other languages.
# Line 17  Line 16 
16   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
17   * OCaml, and more information about this system.   * OCaml, and more information about this system.
18   *   *
19     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
20     *
21   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
22   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
23   * as published by the Free Software Foundation; either version 2   * as published by the Free Software Foundation; either version 2
# Line 32  Line 33 
33   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
34   *   *
35   * Author: Brian Emre Aydemir   * Author: Brian Emre Aydemir
36   * Email:  emre@its.caltech.edu   * @email{emre@its.caltech.edu}
37     * @end[license]
38   *)   *)
39    
40    (*!
41     * @begin[doc]
42     * @parents
43     * @end[doc]
44     *)
45  include Base_theory  include Base_theory
46    (*! @docoff *)
47    
48  open Mp_mc_term_op  open Mp_mc_term_op
49  open Refiner.Refiner.Term  open Refiner.Refiner.Term

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

  ViewVC Help
Powered by ViewVC 1.1.26