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

Diff of /metaprl/theories/mc/mp_mc_fir_ty.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 61  Line 61 
61  declare tyTuple{ 'tuple_class; 'ty_list }  declare tyTuple{ 'tuple_class; 'ty_list }
62  declare tyArray{ 'ty }  declare tyArray{ 'ty }
63  declare tyRawData  declare tyRawData
64  declare tyPointer{ 'var; 'ty }  declare tyPointer{ 'sub_block }
65  declare tyFrame{ 'label }  declare tyFrame{ 'label }
66    
67  (* Polymorphism. *)  (* Polymorphism. *)
# Line 76  Line 76 
76    
77  declare tyCase{ 'ty }  declare tyCase{ 'ty }
78  declare tyObject{ 'ty_var; 'ty }  declare tyObject{ 'ty_var; 'ty }
 declare tyOption{ 'ty }  
79    
80  (* Delayed type. *)  (* Delayed type. *)
81    
# Line 143  Line 142 
142    
143  val tyPointer_term : term  val tyPointer_term : term
144  val is_tyPointer_term : term -> bool  val is_tyPointer_term : term -> bool
145  val mk_tyPointer_term : term -> term -> term  val mk_tyPointer_term : term -> term
146  val dest_tyPointer_term : term -> term * term  val dest_tyPointer_term : term -> term
147    
148  val tyFrame_term : term  val tyFrame_term : term
149  val is_tyFrame_term : term -> bool  val is_tyFrame_term : term -> bool
# Line 190  Line 189 
189  val mk_tyObject_term : term -> term -> term  val mk_tyObject_term : term -> term -> term
190  val dest_tyObject_term : term -> term * term  val dest_tyObject_term : term -> term * term
191    
 val tyOption_term : term  
 val is_tyOption_term : term -> bool  
 val mk_tyOption_term : term -> term  
 val dest_tyOption_term : term -> term  
   
192  (* Delayed type. *)  (* Delayed type. *)
193    
194  val tyDelayed_term : term  val tyDelayed_term : term

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

  ViewVC Help
Powered by ViewVC 1.1.26