/[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 3550 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC
# Line 4  Line 4 
4   * Define terms to represent FIR types and terms.   * Define terms to represent FIR types and terms.
5   * Specific FIR types represented here: unop, binop, sub_block, sub_value,   * Specific FIR types represented here: unop, binop, sub_block, sub_value,
6   * sub_index, sub_script, atom, alloc_op, tailop, pred_nop, pred_unop,   * sub_index, sub_script, atom, alloc_op, tailop, pred_nop, pred_unop,
7   * pred_binop, pred, debug_line, debug_vars, debug_info, exp.   * pred_binop, pred, debug_line, debug_vars, debug_info, exp, fundef.
8   *   *
9   * ----------------------------------------------------------------   * ----------------------------------------------------------------
10   *   *
# Line 326  Line 326 
326    
327  declare debug{ 'debug_info; 'exp }  declare debug{ 'debug_info; 'exp }
328    
329    (*
330     * Function definition.
331     *)
332    
333    declare fundef{ 'debug_line; 'ty; 'var_list; 'exp }
334    
335  (*************************************************************************  (*************************************************************************
336   * Term operations.   * Term operations.
337   *************************************************************************)   *************************************************************************)
# Line 1076  Line 1082 
1082  val is_debug_term : term -> bool  val is_debug_term : term -> bool
1083  val mk_debug_term : term -> term -> term  val mk_debug_term : term -> term -> term
1084  val dest_debug_term : term -> term * term  val dest_debug_term : term -> term * term
1085    
1086    (*
1087     * Function definition.
1088     *)
1089    
1090    val fundef_term : term
1091    val is_fundef_term : term -> bool
1092    val mk_fundef_term : term -> term -> term -> term -> term
1093    val dest_fundef_term : term -> term * term * term * term

Legend:
Removed from v.3550  
changed lines
  Added in v.3562

  ViewVC Help
Powered by ViewVC 1.1.26