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

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

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

revision 3579 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3580 by emre, Fri Apr 19 08:09:21 2002 UTC
# Line 83  Line 83 
83  declare normalUnion  declare normalUnion
84  declare exnUnion  declare exnUnion
85    
86    (*
87     * Subscript operators.
88     *)
89    
90    (* Kind of block. *)
91    
92    declare blockSub
93    declare rawDataSub
94    declare tupleSub
95    declare rawTupleSub
96    
97    (* Kind of value. *)
98    
99    declare polySub
100    declare rawIntSub{ 'int_precision; 'int_signed }
101    declare rawFloatSub{ 'float_precision }
102    declare pointerSub
103    declare functionSub
104    
105    (* Element width. *)
106    
107    declare byteIndex
108    declare wordIndex
109    
110    (* Kind of subscript. *)
111    
112    declare intIndex
113    declare rawIntIndex{ 'int_precision; 'int_signed }
114    
115    (* Subscripting op. *)
116    
117    declare subop{ 'sub_block; 'sub_value; 'sub_index; 'sub_script }
118    
119  (*************************************************************************  (*************************************************************************
120   * Term operations.   * Term operations.
121   *************************************************************************)   *************************************************************************)
# Line 168  Line 201 
201    
202  val exnUnion_term : term  val exnUnion_term : term
203  val is_exnUnion_term : term -> bool  val is_exnUnion_term : term -> bool
204    
205    (*
206     * Subscript operators.
207     *)
208    
209    (* Kind of block. *)
210    
211    val blockSub_term : term
212    val is_blockSub_term : term -> bool
213    
214    val rawDataSub_term : term
215    val is_rawDataSub_term : term -> bool
216    
217    val tupleSub_term : term
218    val is_tupleSub_term : term -> bool
219    
220    val rawTupleSub_term : term
221    val is_rawTupleSub_term : term -> bool
222    
223    (* Kind of value. *)
224    
225    val polySub_term : term
226    val is_polySub_term : term -> bool
227    
228    val rawIntSub_term : term
229    val is_rawIntSub_term : term -> bool
230    val mk_rawIntSub_term : term -> term -> term
231    val dest_rawIntSub_term : term -> term * term
232    
233    val rawFloatSub_term : term
234    val is_rawFloatSub_term : term -> bool
235    val mk_rawFloatSub_term : term -> term
236    val dest_rawFloatSub_term : term -> term
237    
238    val pointerSub_term : term
239    val is_pointerSub_term : term -> bool
240    
241    val functionSub_term : term
242    val is_functionSub_term : term -> bool
243    
244    (* Element width. *)
245    
246    val byteIndex_term : term
247    val is_byteIndex_term : term -> bool
248    
249    val wordIndex_term : term
250    val is_wordIndex_term : term -> bool
251    
252    (* Kind of subscript. *)
253    
254    val intIndex_term : term
255    val is_intIndex_term : term -> bool
256    
257    val rawIntIndex_term : term
258    val is_rawIntIndex_term : term -> bool
259    val mk_rawIntIndex_term : term -> term -> term
260    val dest_rawIntIndex_term : term -> term * term
261    
262    (* Susbscripting op. *)
263    
264    val subop_term : term
265    val is_subop_term : term -> bool
266    val mk_subop_term : term -> term -> term -> term -> term
267    val dest_subop_term : term -> term * term * term * term

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

  ViewVC Help
Powered by ViewVC 1.1.26