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

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

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

revision 3579 by emre, Fri Apr 5 01:16:49 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 55  Line 55 
55  val binop_of_term : term -> binop  val binop_of_term : term -> binop
56    
57  (*  (*
  * Convert to and from subscripting terms.  
  *)  
   
 val term_of_sub_block : sub_block -> term  
 val sub_block_of_term : term -> sub_block  
   
 val term_of_sub_value : sub_value -> term  
 val sub_value_of_term : term -> sub_value  
   
 val term_of_sub_index : sub_index -> term  
 val sub_index_of_term : term -> sub_index  
   
 val term_of_sub_script : sub_script -> term  
 val sub_script_of_term : term -> sub_script  
   
 val term_of_subop : subop -> term  
 val subop_of_term : term -> subop  
   
 (*  
58   * Convert to and from frame_label.   * Convert to and from frame_label.
59   *)   *)
60    
# Line 105  Line 86 
86   * Convert to and from predicate / assertion terms.   * Convert to and from predicate / assertion terms.
87   *)   *)
88    
 val term_of_pred_nop : pred_nop -> term  
 val pred_nop_of_term : term -> pred_nop  
   
 val term_of_pred_unop : pred_unop -> term  
 val pred_unop_of_term : term -> pred_unop  
   
 val term_of_pred_binop : pred_binop -> term  
 val pred_binop_of_term : term -> pred_binop  
   
89  val term_of_pred : pred -> term  val term_of_pred : pred -> term
90  val pred_of_term : term -> pred  val pred_of_term : term -> pred
91    

Legend:
Removed from v.3579  
changed lines
  Added in v.3580

  ViewVC Help
Powered by ViewVC 1.1.26