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

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

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

revision 3579 by emre, Sun Mar 31 02:48:35 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 162  Line 162 
162    
163  val term_of_union_type : union_type -> term  val term_of_union_type : union_type -> term
164  val union_type_of_term : term -> union_type  val union_type_of_term : term -> union_type
165    
166    (*
167     * Convert to and from subscripting terms.
168     *)
169    
170    val term_of_sub_block : sub_block -> term
171    val sub_block_of_term : term -> sub_block
172    
173    val term_of_sub_value : sub_value -> term
174    val sub_value_of_term : term -> sub_value
175    
176    val term_of_sub_index : sub_index -> term
177    val sub_index_of_term : term -> sub_index
178    
179    val term_of_sub_script : sub_script -> term
180    val sub_script_of_term : term -> sub_script
181    
182    val term_of_subop : subop -> term
183    val subop_of_term : term -> subop

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

  ViewVC Help
Powered by ViewVC 1.1.26