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

Diff of /metaprl/library/nuprl5.mli

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

revision 2921 by jyh, Tue Oct 13 01:14:08 1998 UTC revision 2922 by lolorigo, Thu Mar 16 19:52:02 2000 UTC
# Line 29  Line 29 
29  open Refiner.Refiner.Term  open Refiner.Refiner.Term
30  open Mp_num  open Mp_num
31    
32    val mk_nuprl5_op        : param list -> operator
33  val nuprl5_opname       : opname  val nuprl5_opname       : opname
34    val nuprl5_opname_p             : opname -> bool
35    
36  (* parameter mapping *)  (* parameter mapping *)
37    
# Line 43  Line 45 
45  val destruct_bool_parameter     : param -> bool  val destruct_bool_parameter     : param -> bool
46    
47    
48  (* common terms *)  (* itt logic functions *)
49    
50    val nuprl_is_all_term : term -> bool
51    val nuprl_dest_all : term -> string * term * term
52    
53    val nuprl_is_exists_term : term -> bool
54    val nuprl_dest_exists : term -> string * term * term
55    
56    val nuprl_is_or_term : term -> bool
57    val nuprl_dest_or : term -> term * term
58    
59    val nuprl_is_and_term : term -> bool
60    val nuprl_dest_and : term -> term * term
61    
62    val nuprl_is_implies_term : term -> bool
63    val nuprl_dest_implies : term -> term * term
64    
65    val nuprl_is_not_term : term -> bool
66    val nuprl_dest_not : term -> term
67    
68    
69    
70    
71    
72    
73    
74    
75    
76    
77    
78    

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

  ViewVC Help
Powered by ViewVC 1.1.26