Lines Matching refs:op
28 op 0 : Nat
29 op 1 : Nat
30 op 1 : Pos
31 op 2 : Nat
32 op 3 : Nat
33 op 4 : Nat
34 op 5 : Nat
35 op 6 : Nat
36 op 7 : Nat
37 op 8 : Nat
38 op 9 : Nat
39 op __! : Nat -> Nat
40 op __*__ : Nat * Nat -> Nat
41 op __*__ : Pos * Pos -> Pos
42 op __+__ : Nat * Nat -> Nat
43 op __+__ : Nat * Pos -> Pos
44 op __+__ : Pos * Nat -> Pos
45 op __-!__ : Nat * Nat -> Nat
46 op __-?__ : Nat * Nat ->? Nat
47 op __/?__ : Nat * Nat ->? Nat
48 op __@@__ : Nat * Nat -> Nat
49 op __^__ : Nat * Nat -> Nat
50 op __div__ : Nat * Nat ->? Nat
51 op __mod__ : Nat * Nat ->? Nat
52 op max : Nat * Nat -> Nat
53 op min : Nat * Nat -> Nat
54 op pre : Nat ->? Nat
55 op suc : Nat -> Nat
56 op suc : Nat -> Pos
74 generated{sort Nat; op 0 : Nat;
75 op suc : Nat -> Nat} %(ga_generated_Nat)%
230 op c : s
231 op d : s
232 op d : t
233 op f : s -> t
234 op f : t -> t
239 def f((op d : s))