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
108108 add_aux self ~y_lo ~y_hi
109109
110110
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) * )
112112
113113let eq (Int64 x ) (Int64 y ) = x.hi = y.hi && x.lo = y.lo
114114
Original file line number Diff line number Diff line change @@ -34,7 +34,7 @@ val min_int : t
3434val max_int : t
3535val one : t
3636val zero : t
37- val not : t -> t
37+ (* val not : t -> t *)
3838val of_int32 : nativeint -> t
3939val to_int32 : t -> nativeint
4040
Original file line number Diff line number Diff line change @@ -77,15 +77,6 @@ function add(self, param) {
7777 return add_aux ( self , param [ /* lo */ 1 ] , param [ /* hi */ 0 ] ) ;
7878}
7979
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-
8980function eq ( param , param$1 ) {
9081 if ( param [ /* hi */ 0 ] === param$1 [ /* hi */ 0 ] ) {
9182 return param [ /* lo */ 1 ] === param$1 [ /* lo */ 1 ] ;
@@ -612,7 +603,6 @@ export {
612603 max_int ,
613604 one ,
614605 zero ,
615- not ,
616606 of_int32 ,
617607 to_int32 ,
618608 add ,
Original file line number Diff line number Diff line change @@ -77,15 +77,6 @@ function add(self, param) {
7777 return add_aux ( self , param [ /* lo */ 1 ] , param [ /* hi */ 0 ] ) ;
7878}
7979
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-
8980function eq ( param , param$1 ) {
9081 if ( param [ /* hi */ 0 ] === param$1 [ /* hi */ 0 ] ) {
9182 return param [ /* lo */ 1 ] === param$1 [ /* lo */ 1 ] ;
@@ -611,7 +602,6 @@ exports.min_int = min_int;
611602exports . max_int = max_int ;
612603exports . one = one ;
613604exports . zero = zero ;
614- exports . not = not ;
615605exports . of_int32 = of_int32 ;
616606exports . to_int32 = to_int32 ;
617607exports . add = add ;
You can’t perform that action at this time.
0 commit comments