/[mojave]/metaprl/library/basic.mli
ViewVC logotype

Diff of /metaprl/library/basic.mli

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

revision 2921 by lolorigo, Thu Dec 17 15:57:52 1998 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 50  Line 50 
50    
51  val inil_term           : term  val inil_term           : term
52    
53    val number_of_ipui_addr_term    : term -> int
54  val number_of_inatural_term     : term -> int  val number_of_inatural_term     : term -> int
55  val num_of_inatural_term        : term -> num  val num_of_inatural_term        : term -> num
56  val oid_of_ioid_term            : term -> object_id  val oid_of_ioid_term            : term -> object_id
# Line 62  Line 63 
63  val token_parameter_to_string   : param -> string  val token_parameter_to_string   : param -> string
64    
65  val inil_parameter              : param  val inil_parameter              : param
66    val ipui_addr_parameter         : param
67    
68  val dest_obid_param             : param -> object_id  val dest_obid_param             : param -> object_id
69  val dest_token_param            : param -> string  val dest_token_param            : param -> string
# Line 126  Line 128 
128  val string_of_itext_term        : term -> string  val string_of_itext_term        : term -> string
129    
130    
 val mk_nuprl5_op        : param list -> operator  
131    
132  val icons_op                    : operator  val icons_op                    : operator
133  val icons_term                  : operator -> term -> term -> term  val icons_term                  : operator -> term -> term -> term
# Line 166  Line 167 
167    
168  val opeq                        : operator -> operator -> bool  val opeq                        : operator -> operator -> bool
169    
 val nuprl5_opname_p             : opname -> bool  
   
170  val parmhash                    : param -> int  val parmhash                    : param -> int
171    
172    

Legend:
Removed from v.2921  
changed lines
  Added in v.2922

  ViewVC Help
Powered by ViewVC 1.1.26