/[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 3588 by emre, Sat Apr 27 02:45:24 2002 UTC revision 3589 by emre, Sat Apr 27 04:44:46 2002 UTC
# Line 96  Line 96 
96  declare polySub  declare polySub
97  declare rawIntSub{ 'int_precision; 'int_signed }  declare rawIntSub{ 'int_precision; 'int_signed }
98  declare rawFloatSub{ 'float_precision }  declare rawFloatSub{ 'float_precision }
99    declare pointerInfixSub
100  declare pointerSub  declare pointerSub
101  declare functionSub  declare functionSub
102    
# Line 232  Line 233 
233  val mk_rawFloatSub_term : term -> term  val mk_rawFloatSub_term : term -> term
234  val dest_rawFloatSub_term : term -> term  val dest_rawFloatSub_term : term -> term
235    
236    val pointerInfixSub_term : term
237    val is_pointerInfixSub_term : term -> bool
238    
239  val pointerSub_term : term  val pointerSub_term : term
240  val is_pointerSub_term : term -> bool  val is_pointerSub_term : term -> bool
241    

Legend:
Removed from v.3588  
changed lines
  Added in v.3589

  ViewVC Help
Powered by ViewVC 1.1.26