55 val comparison_rect_Type4 :
56 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> comparison -> 'a1
58 val comparison_rect_Type5 :
59 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> comparison -> 'a1
61 val comparison_rect_Type3 :
62 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> comparison -> 'a1
64 val comparison_rect_Type2 :
65 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> comparison -> 'a1
67 val comparison_rect_Type1 :
68 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> comparison -> 'a1
70 val comparison_rect_Type0 :
71 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> 'a1 -> comparison -> 'a1
73 val comparison_inv_rect_Type4 :
74 comparison -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->
75 (__ -> 'a1) -> (__ -> 'a1) -> 'a1
77 val comparison_inv_rect_Type3 :
78 comparison -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->
79 (__ -> 'a1) -> (__ -> 'a1) -> 'a1
81 val comparison_inv_rect_Type2 :
82 comparison -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->
83 (__ -> 'a1) -> (__ -> 'a1) -> 'a1
85 val comparison_inv_rect_Type1 :
86 comparison -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->
87 (__ -> 'a1) -> (__ -> 'a1) -> 'a1
89 val comparison_inv_rect_Type0 :
90 comparison -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) ->
91 (__ -> 'a1) -> (__ -> 'a1) -> 'a1
93 val comparison_discr : comparison -> comparison -> __
95 val comparison_jmdiscr : comparison -> comparison -> __
97 val negate_comparison : comparison -> comparison
99 val swap_comparison : comparison -> comparison
101 val wordsize : Nat.nat
103 type int = BitVector.bitVector
105 val repr : Nat.nat -> int
111 val mone : BitVector.bitVector
115 val eq_dec : int -> int -> (__, __) Types.sum
117 val eq : int -> int -> Bool.bool
119 val lt : int -> int -> Bool.bool
121 val ltu : int -> int -> Bool.bool
126 BitVector.bitVector -> BitVector.bitVector -> Bool.bool Vector.vector
129 Nat.nat -> Nat.nat -> BitVector.bitVector -> BitVector.bitVector
131 val zero_ext : Nat.nat -> int -> int
134 Nat.nat -> Nat.nat -> BitVector.bitVector -> BitVector.bitVector
136 val sign_ext : Nat.nat -> int -> int
138 val i_and : int -> int -> int
140 val or0 : int -> int -> int
142 val xor : int -> int -> int
146 val shl : int -> int -> int
148 val shru : int -> int -> int
150 val shr : int -> int -> int
152 val shrx : int -> int -> int
154 val shr_carry : int -> int -> BitVector.bitVector
156 val rol : int -> int -> int
158 val ror : int -> int -> int
160 val rolm : int -> int -> int -> int
162 val cmp : comparison -> int -> int -> Bool.bool
164 val cmpu : comparison -> int -> int -> Bool.bool
166 val notbool : int -> int