From abd73cd80c896665b0ebf732316fce7c52dce5a1 Mon Sep 17 00:00:00 2001
From: nk_ysg <nk_ysg@163.com>
Date: Thu, 2 Mar 2023 16:15:42 +0800
Subject: [PATCH] Revert "add some function in Compare (#180)"

This reverts commit e5a3108b721ab2fcce5ce0d0704de730b6cac4d7.
---
 .../bytecode_modules/Compare.mv               | Bin 695 -> 604 bytes
 build/StarcoinFramework/docs/Compare.md       | 111 ------------------
 .../source_maps/Compare.mvsm                  | Bin 7436 -> 6647 bytes
 sources/Compare.move                          |  23 ----
 4 files changed, 134 deletions(-)

diff --git a/build/StarcoinFramework/bytecode_modules/Compare.mv b/build/StarcoinFramework/bytecode_modules/Compare.mv
index cb60f4b6abb57d4b044ea16ba53fbc64fcfec4ed..670997b1add99bfab78ea3eae1d9fe90cba9473e 100644
GIT binary patch
delta 117
zcmdnadWR)uq0DP;76t|e4n_tRW)=k&6&6+vefDq{j@gU?Y^xbLdA2Y%F$3ip8JK{W
zff+=wFaZfxW<~}^HdZzu$<DzE)Xm7s$i&74LX1pI%*;$oOcQg%Cce~WWSK0=*vrT@
Kc`@UAMg{<0FAlH(

delta 226
zcmXwyJqiLr3`X;1GP5(Ipa-zoLK_Pa3oqb3WQ)ZgmIYm{J%PpI32Z!ojrXt?3tJ1X
zU{(;4$NLgO9&)pXbMM^}BJv<HGLnhd={Q-g{T*HRLTJBnF}eq_Hkk&(3TqS&dYd%x
z3Ivyc5JQ9xJ=n#jz-$aN0~U?J#XvBmyHJ<2fnQbge6!Drj>=-2XS;km-z~GUt+~jn
g>KE$k5Vn3E(K;3Q^hLjWiIh;v_U}m9{hd>$FK{&=iU0rr

diff --git a/build/StarcoinFramework/docs/Compare.md b/build/StarcoinFramework/docs/Compare.md
index a2f8b58a..006370d0 100644
--- a/build/StarcoinFramework/docs/Compare.md
+++ b/build/StarcoinFramework/docs/Compare.md
@@ -10,9 +10,6 @@
 -  [Function `cmp_bytes`](#0x1_Compare_cmp_bytes)
 -  [Function `cmp_u8`](#0x1_Compare_cmp_u8)
 -  [Function `cmp_u64`](#0x1_Compare_cmp_u64)
--  [Function `is_equal`](#0x1_Compare_is_equal)
--  [Function `is_less_than`](#0x1_Compare_is_less_than)
--  [Function `is_greater_than`](#0x1_Compare_is_greater_than)
 -  [Module Specification](#@Module_Specification_1)
 
 
@@ -253,114 +250,6 @@ Keep this in mind when using this function to compare addresses.
 
 
 
-</details>
-
-<a name="0x1_Compare_is_equal"></a>
-
-## Function `is_equal`
-
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_equal">is_equal</a>(result: u8): bool
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_equal">is_equal</a>(result: u8): bool {
-    result == <a href="Compare.md#0x1_Compare_EQUAL">EQUAL</a>
-}
-</code></pre>
-
-
-
-</details>
-
-<details>
-<summary>Specification</summary>
-
-
-
-<pre><code><b>aborts_if</b> <b>false</b>;
-</code></pre>
-
-
-
-</details>
-
-<a name="0x1_Compare_is_less_than"></a>
-
-## Function `is_less_than`
-
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_less_than">is_less_than</a>(result: u8): bool
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_less_than">is_less_than</a>(result: u8): bool {
-    result == <a href="Compare.md#0x1_Compare_LESS_THAN">LESS_THAN</a>
-}
-</code></pre>
-
-
-
-</details>
-
-<details>
-<summary>Specification</summary>
-
-
-
-<pre><code><b>aborts_if</b> <b>false</b>;
-</code></pre>
-
-
-
-</details>
-
-<a name="0x1_Compare_is_greater_than"></a>
-
-## Function `is_greater_than`
-
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_greater_than">is_greater_than</a>(result: u8): bool
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> <b>fun</b> <a href="Compare.md#0x1_Compare_is_greater_than">is_greater_than</a>(result: u8): bool {
-    result == <a href="Compare.md#0x1_Compare_GREATER_THAN">GREATER_THAN</a>
-}
-</code></pre>
-
-
-
-</details>
-
-<details>
-<summary>Specification</summary>
-
-
-
-<pre><code><b>aborts_if</b> <b>false</b>;
-</code></pre>
-
-
-
 </details>
 
 <a name="@Module_Specification_1"></a>
diff --git a/build/StarcoinFramework/source_maps/Compare.mvsm b/build/StarcoinFramework/source_maps/Compare.mvsm
index 025b415635b8ff773f509f1398b7ebf0f13cf78e..6469c37cff4556057f1c157435b7c434dd73c984 100644
GIT binary patch
literal 6647
zcma)=TWn2P9EaCA)oF25X{#NVVHD+zp%*PG^U%;B8bfPdPG&U185+HsC~-+MalgFq
zAXS%YX<8$}bSA`QibEs3NX#_B#3&vxJWOQVDrCOhoR!SmZ#DTIntb`~wbx$%y?;5G
zp<AgZn|ey0-${zJ*8FigvHo7!to8-1uj-O2^E*Sk(~U7f@WKE8d~q|YDyo;P3Y$L0
zWQveI@x~km<M-EQDY+4`3H-I$N<EF%4zV#~(`D|Ge#X>5e7HPZQM$CETBV;wz6Aa<
znf*J9=<?QFCfEEHtq0=D!<8<p7}3|5F<>U?eSSjjGw{hLatG^g@JrL)T8uOUtTF-m
zNb>_%9*7w$O}ks4NOLlISr8}99IRZ3mu3c59`u!_eM<eL=^ewR&|jM0V=ae(G?!t8
zVSqI45Db*&O7bcoQJU3Q-e3)qW+he?43?%{XR0(q<Sp)R%%{@ain$$zN^=+1ZWt!b
z9auYIxHNyn+5{t{*@)EypGor=Rtt=jW;51N7$waHtb_2mH1A^l38STXAL{|6OY<gH
zH;j?yji@<RnlCZ`g>lk+jrA5Xr1==@9gLUeqo_GSni0$%2ujm_nZA%_fXPUPiPB8-
zW(dBNW(rm+Op<0iRuD3!IV@^Uk>=>AnJZ13nI}!V&Z*Ko%hfx;;S<}1_Lrx+l%5BO
z55b}I{Dbxq;#^A4semz8z`68vA>Rjw(z6+DYp*IxPd!?Lr<Thqm4uektIE`AX!+n;
zrM|;m1}0lqsSLacpsQ3GRuFWRvbUzIR1taeL074-u)YRerR;9$Dpf^Z4d^QM1J-KL
zRcbj_E$Av`pOUUpJILD!x=Pujs;kr?@(zQpQua(I$d`sUgg=8WUB6<T0bRP<v3>zv
zy6h_;Nv`uec^4sBnwPM=*Gh^sf5Ym4A=0$#)TOJ9yjufYs?;0Icc81(d#n$jtJG7h
zkD#m6lc=eyR3djX7<83N#u@^;O8Kx-L02gbd#|ahR5y2&hOMiV{f_7=6(lbkbd}1(
znhLr~<zVH4u2SQ$R)8)@^RPmo%S>_9%#vr`W@byXh0IpSk>*cWCqP%JHmu{ItJD#!
zX3$lt1M4#ADs>g>8cdUSbOkE{)1`S1>jLCU)4Osf%#h~z1Y;(H!v}tDqA?4A%BO!b
zT8LNz4!;?N(7yFlm&&&nF#@=<LDfWEK235TR^zS#-H6s>Z3Nwj)?%##-H7Z;b<e3I
zZ!_qgV>5Mo*+*VI==O2|>k#PnvLCAfbbGN+RCkg_^4dUm5}T=;#u@Uw^Q4=G&D2f9
z?!3c;ujOcN0H>MSh*$>>GqnY6o2R<W)J4P>;4)JOqOQwKHR3jbo~ahBR?sumjCBn3
zOxcy{nL1A1NzgN8GxbbeCNBbdraG~%gPy6YSl2+$lzpOlrf!gT8}v-sOg&TG<ay^w
t&y>y7Gi7()#KaaZ{HCCYoh>RXDJfkvr(nL{1ZEc(7Az_(?)}$i{sZZvGd=(S

literal 7436
zcma)=ZA{fw9LLYSgctRSfIJmhCIWIJ>4H3jYl|97C$j`=#Y)HYW)_bc)Jn6KSwd^8
z7e$Z|Bol4x!JIB1KvCvwYi%{QTr;R%SgjY$wNjg{&tdm$z55=v&kMHC{r=DY-1EEt
z@4dn9#O+;Eh5e6Scrm^4tCncr!Lpa0nh33b^Wmwn;?$z$xyG0X1mORFfzW-e&25ca
zV<u!wP=vgdWK2JpV6Zc)<N?G%2zHhz^;5J%keHB{D{~v?7}E|(v8Gt_hK<c_D*Y((
z7zDS->~C4bq+RnCx#lZq*C5msYw=md!r8_w0ke#FvCo&t{S^Yz{0{3k2ujo4T7opg
ztTGvHkmhx+JRdVrnr^pdNwb)|D1@Y0id6<l(k#F#huP9}@6sG;+GDs8=1TJktj!RX
z<|eEd%#)@Yg89;Xn!IL6k!Bl~9jsJowqUhFnl#-yv!vNT-uk)5+$hc6n6JZ4((J~1
z19GIf2dfKimgdV?ufRfS4qy$!Ez;bFH4L{(a|r80SR~C}toPwIX<oqk9u`aUBGwe-
zO7lysX;>o7^KmmznwK&EgnViKg>?lAr1>+}Rah#`pW<erG{-ToK}4GF$#lCk!%Rjx
z6iGAN&Jf%o%?zw8SSHORtO(pG&78QoT$+pHW|=fyX1O%oIxD1kl&g<|$0K$U?FXy+
zl%6TXAHk#a{DF2ELO!MEldv(T!MpTKB3}fL(z6R~_lzn_PY+tJRhwj$T7Z@@qsr7u
zv?}neQjg<q0#m|DM3pMQD+FDovauqdtCYJnU8QQtTLZdE-Hr7C=qlxQOIN8@^4dXH
zscl#tpsUnotWMBX%DqdvO6?)93v`uoM^#s;z2x<Su2SwyC(E;BhwwAdrRy-(5zwXU
z5Z33QOPBiySRmJVjJy+&F3mA4`>~QC&68N8kSR^KPF=c2$oqPpPnG%`^D5{n^$*r{
z&{gUetbbvVyrWBTQ&*`J?j{X%l}g9T1YM;9SXrQ}6o-Ar)KzMlJIcn^Rmwd_bd`#b
zR|2|9m19+au2Q8~WuU86KGu_<3({(=2GC`uE^bEU32~Vv(i|ppKa@)IAl65qtJDbA
z0nk<I1FRv?RcaLL6zD2-2J0+T$~!uZH4b-4^9!uwP$f-!<q23J&85l46obbDepQMw
z4+51>|7Nrnu^v2rGipG4%&I<>?`_0!z?BWEJ?`>olKaqs`z+{2^a9on(2eLhtmi>D
zBDYfAb9R!q3v|zMnYz8aLtYQ)_R@#77j%1h533h+dvWim?j!@`jezbXE>ky+Bjnlh
zq??Az)J?<fyvG~g$<f>nUNf}=ai=}Y`ghn@(O$Ev&rF>_{2hE|sxR*P%+vtxAn2JI
z#@Y{hriQTgfu1S1Qaw`#$om-dOu0-wQ>Vxq2R&00Sm!{`)ETU^pl8axqk5*!llKki
znR1zWrl!fW=Sk0$%hWUFcHZMlV>p$P4<;~cYiwIb(=+PZa0YUYeF5R}K@ml)0DY)e
zVBG`yP*-AAfj-ps>NeBk8*yfuF?ry<4f)7L_60uMa4+IY(A!Xp^$6%~ScSD3^fuV5
z+f0v<?Pj;$wL9i}8hViX?F)Ri;V|Mc(AzMIbq@449LG8ddK>K3ZKg>`tXca|buAw^
cwKeti8`iC?UK2Fo`|E0|*VWX`{2MU;0V*dT2LJ#7

diff --git a/sources/Compare.move b/sources/Compare.move
index 45e20df5..b4ee466a 100644
--- a/sources/Compare.move
+++ b/sources/Compare.move
@@ -104,29 +104,6 @@ module Compare {
         aborts_if false;
     }
 
-    public fun is_equal(result: u8): bool {
-        result == EQUAL
-    }
-
-    spec is_equal {
-        aborts_if false;
-    }
-
-    public fun is_less_than(result: u8): bool {
-        result == LESS_THAN
-    }
-
-    spec is_less_than {
-        aborts_if false;
-    }
-
-    public fun is_greater_than(result: u8): bool {
-        result == GREATER_THAN
-    }
-
-    spec is_greater_than {
-        aborts_if false;
-    }
 }
 
 }