File tree Expand file tree Collapse file tree 4 files changed +2
-22
lines changed Expand file tree Collapse file tree 4 files changed +2
-22
lines changed Original file line number Diff line number Diff line change @@ -108,7 +108,7 @@ let add
108
108
add_aux self ~y_lo ~y_hi
109
109
110
110
111
- let not (Int64 {lo; hi } ) = mk ~lo: (lognot lo) ~hi: (lognot hi)
111
+ (* let not (Int64 {lo; hi }) = mk ~lo:(lognot lo) ~hi:(lognot hi) * )
112
112
113
113
let eq (Int64 x ) (Int64 y ) = x.hi = y.hi && x.lo = y.lo
114
114
Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ val min_int : t
34
34
val max_int : t
35
35
val one : t
36
36
val zero : t
37
- val not : t -> t
37
+ (* val not : t -> t *)
38
38
val of_int32 : nativeint -> t
39
39
val to_int32 : t -> nativeint
40
40
Original file line number Diff line number Diff line change @@ -77,15 +77,6 @@ function add(self, param) {
77
77
return add_aux ( self , param [ /* lo */ 1 ] , param [ /* hi */ 0 ] ) ;
78
78
}
79
79
80
- function not ( param ) {
81
- var hi = param [ /* hi */ 0 ] ^ - 1 ;
82
- var lo = param [ /* lo */ 1 ] ^ - 1 ;
83
- return /* Int64 */ [
84
- /* hi */ hi ,
85
- /* lo */ ( lo >>> 0 )
86
- ] ;
87
- }
88
-
89
80
function eq ( param , param$1 ) {
90
81
if ( param [ /* hi */ 0 ] === param$1 [ /* hi */ 0 ] ) {
91
82
return param [ /* lo */ 1 ] === param$1 [ /* lo */ 1 ] ;
@@ -612,7 +603,6 @@ export {
612
603
max_int ,
613
604
one ,
614
605
zero ,
615
- not ,
616
606
of_int32 ,
617
607
to_int32 ,
618
608
add ,
Original file line number Diff line number Diff line change @@ -77,15 +77,6 @@ function add(self, param) {
77
77
return add_aux ( self , param [ /* lo */ 1 ] , param [ /* hi */ 0 ] ) ;
78
78
}
79
79
80
- function not ( param ) {
81
- var hi = param [ /* hi */ 0 ] ^ - 1 ;
82
- var lo = param [ /* lo */ 1 ] ^ - 1 ;
83
- return /* Int64 */ [
84
- /* hi */ hi ,
85
- /* lo */ ( lo >>> 0 )
86
- ] ;
87
- }
88
-
89
80
function eq ( param , param$1 ) {
90
81
if ( param [ /* hi */ 0 ] === param$1 [ /* hi */ 0 ] ) {
91
82
return param [ /* lo */ 1 ] === param$1 [ /* lo */ 1 ] ;
@@ -611,7 +602,6 @@ exports.min_int = min_int;
611
602
exports . max_int = max_int ;
612
603
exports . one = one ;
613
604
exports . zero = zero ;
614
- exports . not = not ;
615
605
exports . of_int32 = of_int32 ;
616
606
exports . to_int32 = to_int32 ;
617
607
exports . add = add ;
You can’t perform that action at this time.
0 commit comments