/[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 3562 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC
# Line 62  Line 62 
62  declare tyArray{ 'ty }  declare tyArray{ 'ty }
63  declare tyRawData  declare tyRawData
64  declare tyPointer{ 'var; 'ty }  declare tyPointer{ 'var; 'ty }
65  declare tyFrame{ 'label; 'ty }  declare tyFrame{ 'label }
66    
67  (* Polymorphism. *)  (* Polymorphism. *)
68    
# Line 148  Line 148 
148    
149  val tyFrame_term : term  val tyFrame_term : term
150  val is_tyFrame_term : term -> bool  val is_tyFrame_term : term -> bool
151  val mk_tyFrame_term : term -> term -> term  val mk_tyFrame_term : term -> term
152  val dest_tyFrame_term : term -> term * term  val dest_tyFrame_term : term -> term
153    
154  (* Polymorphism *)  (* Polymorphism *)
155    

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

  ViewVC Help
Powered by ViewVC 1.1.26