package lem

  1. Overview
  2. Docs
type !'a size_class = {
  1. size_method : int;
}
val size_itself : 'a size_class -> 'b -> int
type ty1
type ty2
type ty3
type ty4
type ty5
type ty6
type ty7
type ty8
type ty9
type ty10
type ty11
type ty12
type ty13
type ty14
type ty15
type ty16
type ty17
type ty18
type ty19
type ty20
type ty21
type ty22
type ty23
type ty24
type ty25
type ty26
type ty27
type ty28
type ty29
type ty30
type ty31
type ty32
type ty33
type ty34
type ty35
type ty36
type ty37
type ty38
type ty39
type ty40
type ty41
type ty42
type ty43
type ty44
type ty45
type ty46
type ty47
type ty48
type ty49
type ty50
type ty51
type ty52
type ty53
type ty54
type ty55
type ty56
type ty57
type ty58
type ty59
type ty60
type ty61
type ty62
type ty63
type ty64
type ty65
type ty66
type ty67
type ty68
type ty69
type ty70
type ty71
type ty72
type ty73
type ty74
type ty75
type ty76
type ty77
type ty78
type ty79
type ty80
type ty81
type ty82
type ty83
type ty84
type ty85
type ty86
type ty87
type ty88
type ty89
type ty90
type ty91
type ty92
type ty93
type ty94
type ty95
type ty96
type ty97
type ty98
type ty99
type ty100
type ty101
type ty102
type ty103
type ty104
type ty105
type ty106
type ty107
type ty108
type ty109
type ty110
type ty111
type ty112
type ty113
type ty114
type ty115
type ty116
type ty117
type ty118
type ty119
type ty120
type ty121
type ty122
type ty123
type ty124
type ty125
type ty126
type ty127
type ty128
type ty129
type ty130
type ty131
type ty132
type ty133
type ty134
type ty135
type ty136
type ty137
type ty138
type ty139
type ty140
type ty141
type ty142
type ty143
type ty144
type ty145
type ty146
type ty147
type ty148
type ty149
type ty150
type ty151
type ty152
type ty153
type ty154
type ty155
type ty156
type ty157
type ty158
type ty159
type ty160
type ty161
type ty162
type ty163
type ty164
type ty165
type ty166
type ty167
type ty168
type ty169
type ty170
type ty171
type ty172
type ty173
type ty174
type ty175
type ty176
type ty177
type ty178
type ty179
type ty180
type ty181
type ty182
type ty183
type ty184
type ty185
type ty186
type ty187
type ty188
type ty189
type ty190
type ty191
type ty192
type ty193
type ty194
type ty195
type ty196
type ty197
type ty198
type ty199
type ty200
type ty201
type ty202
type ty203
type ty204
type ty205
type ty206
type ty207
type ty208
type ty209
type ty210
type ty211
type ty212
type ty213
type ty214
type ty215
type ty216
type ty217
type ty218
type ty219
type ty220
type ty221
type ty222
type ty223
type ty224
type ty225
type ty226
type ty227
type ty228
type ty229
type ty230
type ty231
type ty232
type ty233
type ty234
type ty235
type ty236
type ty237
type ty238
type ty239
type ty240
type ty241
type ty242
type ty243
type ty244
type ty245
type ty246
type ty247
type ty248
type ty249
type ty250
type ty251
type ty252
type ty253
type ty254
type ty255
type ty256
type ty257
val instance_Machine_word_Size_Machine_word_ty1_dict : ty1 size_class
val instance_Machine_word_Size_Machine_word_ty2_dict : ty2 size_class
val instance_Machine_word_Size_Machine_word_ty3_dict : ty3 size_class
val instance_Machine_word_Size_Machine_word_ty4_dict : ty4 size_class
val instance_Machine_word_Size_Machine_word_ty5_dict : ty5 size_class
val instance_Machine_word_Size_Machine_word_ty6_dict : ty6 size_class
val instance_Machine_word_Size_Machine_word_ty7_dict : ty7 size_class
val instance_Machine_word_Size_Machine_word_ty8_dict : ty8 size_class
val instance_Machine_word_Size_Machine_word_ty9_dict : ty9 size_class
val instance_Machine_word_Size_Machine_word_ty10_dict : ty10 size_class
val instance_Machine_word_Size_Machine_word_ty11_dict : ty11 size_class
val instance_Machine_word_Size_Machine_word_ty12_dict : ty12 size_class
val instance_Machine_word_Size_Machine_word_ty13_dict : ty13 size_class
val instance_Machine_word_Size_Machine_word_ty14_dict : ty14 size_class
val instance_Machine_word_Size_Machine_word_ty15_dict : ty15 size_class
val instance_Machine_word_Size_Machine_word_ty16_dict : ty16 size_class
val instance_Machine_word_Size_Machine_word_ty17_dict : ty17 size_class
val instance_Machine_word_Size_Machine_word_ty18_dict : ty18 size_class
val instance_Machine_word_Size_Machine_word_ty19_dict : ty19 size_class
val instance_Machine_word_Size_Machine_word_ty20_dict : ty20 size_class
val instance_Machine_word_Size_Machine_word_ty21_dict : ty21 size_class
val instance_Machine_word_Size_Machine_word_ty22_dict : ty22 size_class
val instance_Machine_word_Size_Machine_word_ty23_dict : ty23 size_class
val instance_Machine_word_Size_Machine_word_ty24_dict : ty24 size_class
val instance_Machine_word_Size_Machine_word_ty25_dict : ty25 size_class
val instance_Machine_word_Size_Machine_word_ty26_dict : ty26 size_class
val instance_Machine_word_Size_Machine_word_ty27_dict : ty27 size_class
val instance_Machine_word_Size_Machine_word_ty28_dict : ty28 size_class
val instance_Machine_word_Size_Machine_word_ty29_dict : ty29 size_class
val instance_Machine_word_Size_Machine_word_ty30_dict : ty30 size_class
val instance_Machine_word_Size_Machine_word_ty31_dict : ty31 size_class
val instance_Machine_word_Size_Machine_word_ty32_dict : ty32 size_class
val instance_Machine_word_Size_Machine_word_ty33_dict : ty33 size_class
val instance_Machine_word_Size_Machine_word_ty34_dict : ty34 size_class
val instance_Machine_word_Size_Machine_word_ty35_dict : ty35 size_class
val instance_Machine_word_Size_Machine_word_ty36_dict : ty36 size_class
val instance_Machine_word_Size_Machine_word_ty37_dict : ty37 size_class
val instance_Machine_word_Size_Machine_word_ty38_dict : ty38 size_class
val instance_Machine_word_Size_Machine_word_ty39_dict : ty39 size_class
val instance_Machine_word_Size_Machine_word_ty40_dict : ty40 size_class
val instance_Machine_word_Size_Machine_word_ty41_dict : ty41 size_class
val instance_Machine_word_Size_Machine_word_ty42_dict : ty42 size_class
val instance_Machine_word_Size_Machine_word_ty43_dict : ty43 size_class
val instance_Machine_word_Size_Machine_word_ty44_dict : ty44 size_class
val instance_Machine_word_Size_Machine_word_ty45_dict : ty45 size_class
val instance_Machine_word_Size_Machine_word_ty46_dict : ty46 size_class
val instance_Machine_word_Size_Machine_word_ty47_dict : ty47 size_class
val instance_Machine_word_Size_Machine_word_ty48_dict : ty48 size_class
val instance_Machine_word_Size_Machine_word_ty49_dict : ty49 size_class
val instance_Machine_word_Size_Machine_word_ty50_dict : ty50 size_class
val instance_Machine_word_Size_Machine_word_ty51_dict : ty51 size_class
val instance_Machine_word_Size_Machine_word_ty52_dict : ty52 size_class
val instance_Machine_word_Size_Machine_word_ty53_dict : ty53 size_class
val instance_Machine_word_Size_Machine_word_ty54_dict : ty54 size_class
val instance_Machine_word_Size_Machine_word_ty55_dict : ty55 size_class
val instance_Machine_word_Size_Machine_word_ty56_dict : ty56 size_class
val instance_Machine_word_Size_Machine_word_ty57_dict : ty57 size_class
val instance_Machine_word_Size_Machine_word_ty58_dict : ty58 size_class
val instance_Machine_word_Size_Machine_word_ty59_dict : ty59 size_class
val instance_Machine_word_Size_Machine_word_ty60_dict : ty60 size_class
val instance_Machine_word_Size_Machine_word_ty61_dict : ty61 size_class
val instance_Machine_word_Size_Machine_word_ty62_dict : ty62 size_class
val instance_Machine_word_Size_Machine_word_ty63_dict : ty63 size_class
val instance_Machine_word_Size_Machine_word_ty64_dict : ty64 size_class
val instance_Machine_word_Size_Machine_word_ty65_dict : ty65 size_class
val instance_Machine_word_Size_Machine_word_ty66_dict : ty66 size_class
val instance_Machine_word_Size_Machine_word_ty67_dict : ty67 size_class
val instance_Machine_word_Size_Machine_word_ty68_dict : ty68 size_class
val instance_Machine_word_Size_Machine_word_ty69_dict : ty69 size_class
val instance_Machine_word_Size_Machine_word_ty70_dict : ty70 size_class
val instance_Machine_word_Size_Machine_word_ty71_dict : ty71 size_class
val instance_Machine_word_Size_Machine_word_ty72_dict : ty72 size_class
val instance_Machine_word_Size_Machine_word_ty73_dict : ty73 size_class
val instance_Machine_word_Size_Machine_word_ty74_dict : ty74 size_class
val instance_Machine_word_Size_Machine_word_ty75_dict : ty75 size_class
val instance_Machine_word_Size_Machine_word_ty76_dict : ty76 size_class
val instance_Machine_word_Size_Machine_word_ty77_dict : ty77 size_class
val instance_Machine_word_Size_Machine_word_ty78_dict : ty78 size_class
val instance_Machine_word_Size_Machine_word_ty79_dict : ty79 size_class
val instance_Machine_word_Size_Machine_word_ty80_dict : ty80 size_class
val instance_Machine_word_Size_Machine_word_ty81_dict : ty81 size_class
val instance_Machine_word_Size_Machine_word_ty82_dict : ty82 size_class
val instance_Machine_word_Size_Machine_word_ty83_dict : ty83 size_class
val instance_Machine_word_Size_Machine_word_ty84_dict : ty84 size_class
val instance_Machine_word_Size_Machine_word_ty85_dict : ty85 size_class
val instance_Machine_word_Size_Machine_word_ty86_dict : ty86 size_class
val instance_Machine_word_Size_Machine_word_ty87_dict : ty87 size_class
val instance_Machine_word_Size_Machine_word_ty88_dict : ty88 size_class
val instance_Machine_word_Size_Machine_word_ty89_dict : ty89 size_class
val instance_Machine_word_Size_Machine_word_ty90_dict : ty90 size_class
val instance_Machine_word_Size_Machine_word_ty91_dict : ty91 size_class
val instance_Machine_word_Size_Machine_word_ty92_dict : ty92 size_class
val instance_Machine_word_Size_Machine_word_ty93_dict : ty93 size_class
val instance_Machine_word_Size_Machine_word_ty94_dict : ty94 size_class
val instance_Machine_word_Size_Machine_word_ty95_dict : ty95 size_class
val instance_Machine_word_Size_Machine_word_ty96_dict : ty96 size_class
val instance_Machine_word_Size_Machine_word_ty97_dict : ty97 size_class
val instance_Machine_word_Size_Machine_word_ty98_dict : ty98 size_class
val instance_Machine_word_Size_Machine_word_ty99_dict : ty99 size_class
val instance_Machine_word_Size_Machine_word_ty100_dict : ty100 size_class
val instance_Machine_word_Size_Machine_word_ty101_dict : ty101 size_class
val instance_Machine_word_Size_Machine_word_ty102_dict : ty102 size_class
val instance_Machine_word_Size_Machine_word_ty103_dict : ty103 size_class
val instance_Machine_word_Size_Machine_word_ty104_dict : ty104 size_class
val instance_Machine_word_Size_Machine_word_ty105_dict : ty105 size_class
val instance_Machine_word_Size_Machine_word_ty106_dict : ty106 size_class
val instance_Machine_word_Size_Machine_word_ty107_dict : ty107 size_class
val instance_Machine_word_Size_Machine_word_ty108_dict : ty108 size_class
val instance_Machine_word_Size_Machine_word_ty109_dict : ty109 size_class
val instance_Machine_word_Size_Machine_word_ty110_dict : ty110 size_class
val instance_Machine_word_Size_Machine_word_ty111_dict : ty111 size_class
val instance_Machine_word_Size_Machine_word_ty112_dict : ty112 size_class
val instance_Machine_word_Size_Machine_word_ty113_dict : ty113 size_class
val instance_Machine_word_Size_Machine_word_ty114_dict : ty114 size_class
val instance_Machine_word_Size_Machine_word_ty115_dict : ty115 size_class
val instance_Machine_word_Size_Machine_word_ty116_dict : ty116 size_class
val instance_Machine_word_Size_Machine_word_ty117_dict : ty117 size_class
val instance_Machine_word_Size_Machine_word_ty118_dict : ty118 size_class
val instance_Machine_word_Size_Machine_word_ty119_dict : ty119 size_class
val instance_Machine_word_Size_Machine_word_ty120_dict : ty120 size_class
val instance_Machine_word_Size_Machine_word_ty121_dict : ty121 size_class
val instance_Machine_word_Size_Machine_word_ty122_dict : ty122 size_class
val instance_Machine_word_Size_Machine_word_ty123_dict : ty123 size_class
val instance_Machine_word_Size_Machine_word_ty124_dict : ty124 size_class
val instance_Machine_word_Size_Machine_word_ty125_dict : ty125 size_class
val instance_Machine_word_Size_Machine_word_ty126_dict : ty126 size_class
val instance_Machine_word_Size_Machine_word_ty127_dict : ty127 size_class
val instance_Machine_word_Size_Machine_word_ty128_dict : ty128 size_class
val instance_Machine_word_Size_Machine_word_ty129_dict : ty129 size_class
val instance_Machine_word_Size_Machine_word_ty130_dict : ty130 size_class
val instance_Machine_word_Size_Machine_word_ty131_dict : ty131 size_class
val instance_Machine_word_Size_Machine_word_ty132_dict : ty132 size_class
val instance_Machine_word_Size_Machine_word_ty133_dict : ty133 size_class
val instance_Machine_word_Size_Machine_word_ty134_dict : ty134 size_class
val instance_Machine_word_Size_Machine_word_ty135_dict : ty135 size_class
val instance_Machine_word_Size_Machine_word_ty136_dict : ty136 size_class
val instance_Machine_word_Size_Machine_word_ty137_dict : ty137 size_class
val instance_Machine_word_Size_Machine_word_ty138_dict : ty138 size_class
val instance_Machine_word_Size_Machine_word_ty139_dict : ty139 size_class
val instance_Machine_word_Size_Machine_word_ty140_dict : ty140 size_class
val instance_Machine_word_Size_Machine_word_ty141_dict : ty141 size_class
val instance_Machine_word_Size_Machine_word_ty142_dict : ty142 size_class
val instance_Machine_word_Size_Machine_word_ty143_dict : ty143 size_class
val instance_Machine_word_Size_Machine_word_ty144_dict : ty144 size_class
val instance_Machine_word_Size_Machine_word_ty145_dict : ty145 size_class
val instance_Machine_word_Size_Machine_word_ty146_dict : ty146 size_class
val instance_Machine_word_Size_Machine_word_ty147_dict : ty147 size_class
val instance_Machine_word_Size_Machine_word_ty148_dict : ty148 size_class
val instance_Machine_word_Size_Machine_word_ty149_dict : ty149 size_class
val instance_Machine_word_Size_Machine_word_ty150_dict : ty150 size_class
val instance_Machine_word_Size_Machine_word_ty151_dict : ty151 size_class
val instance_Machine_word_Size_Machine_word_ty152_dict : ty152 size_class
val instance_Machine_word_Size_Machine_word_ty153_dict : ty153 size_class
val instance_Machine_word_Size_Machine_word_ty154_dict : ty154 size_class
val instance_Machine_word_Size_Machine_word_ty155_dict : ty155 size_class
val instance_Machine_word_Size_Machine_word_ty156_dict : ty156 size_class
val instance_Machine_word_Size_Machine_word_ty157_dict : ty157 size_class
val instance_Machine_word_Size_Machine_word_ty158_dict : ty158 size_class
val instance_Machine_word_Size_Machine_word_ty159_dict : ty159 size_class
val instance_Machine_word_Size_Machine_word_ty160_dict : ty160 size_class
val instance_Machine_word_Size_Machine_word_ty161_dict : ty161 size_class
val instance_Machine_word_Size_Machine_word_ty162_dict : ty162 size_class
val instance_Machine_word_Size_Machine_word_ty163_dict : ty163 size_class
val instance_Machine_word_Size_Machine_word_ty164_dict : ty164 size_class
val instance_Machine_word_Size_Machine_word_ty165_dict : ty165 size_class
val instance_Machine_word_Size_Machine_word_ty166_dict : ty166 size_class
val instance_Machine_word_Size_Machine_word_ty167_dict : ty167 size_class
val instance_Machine_word_Size_Machine_word_ty168_dict : ty168 size_class
val instance_Machine_word_Size_Machine_word_ty169_dict : ty169 size_class
val instance_Machine_word_Size_Machine_word_ty170_dict : ty170 size_class
val instance_Machine_word_Size_Machine_word_ty171_dict : ty171 size_class
val instance_Machine_word_Size_Machine_word_ty172_dict : ty172 size_class
val instance_Machine_word_Size_Machine_word_ty173_dict : ty173 size_class
val instance_Machine_word_Size_Machine_word_ty174_dict : ty174 size_class
val instance_Machine_word_Size_Machine_word_ty175_dict : ty175 size_class
val instance_Machine_word_Size_Machine_word_ty176_dict : ty176 size_class
val instance_Machine_word_Size_Machine_word_ty177_dict : ty177 size_class
val instance_Machine_word_Size_Machine_word_ty178_dict : ty178 size_class
val instance_Machine_word_Size_Machine_word_ty179_dict : ty179 size_class
val instance_Machine_word_Size_Machine_word_ty180_dict : ty180 size_class
val instance_Machine_word_Size_Machine_word_ty181_dict : ty181 size_class
val instance_Machine_word_Size_Machine_word_ty182_dict : ty182 size_class
val instance_Machine_word_Size_Machine_word_ty183_dict : ty183 size_class
val instance_Machine_word_Size_Machine_word_ty184_dict : ty184 size_class
val instance_Machine_word_Size_Machine_word_ty185_dict : ty185 size_class
val instance_Machine_word_Size_Machine_word_ty186_dict : ty186 size_class
val instance_Machine_word_Size_Machine_word_ty187_dict : ty187 size_class
val instance_Machine_word_Size_Machine_word_ty188_dict : ty188 size_class
val instance_Machine_word_Size_Machine_word_ty189_dict : ty189 size_class
val instance_Machine_word_Size_Machine_word_ty190_dict : ty190 size_class
val instance_Machine_word_Size_Machine_word_ty191_dict : ty191 size_class
val instance_Machine_word_Size_Machine_word_ty192_dict : ty192 size_class
val instance_Machine_word_Size_Machine_word_ty193_dict : ty193 size_class
val instance_Machine_word_Size_Machine_word_ty194_dict : ty194 size_class
val instance_Machine_word_Size_Machine_word_ty195_dict : ty195 size_class
val instance_Machine_word_Size_Machine_word_ty196_dict : ty196 size_class
val instance_Machine_word_Size_Machine_word_ty197_dict : ty197 size_class
val instance_Machine_word_Size_Machine_word_ty198_dict : ty198 size_class
val instance_Machine_word_Size_Machine_word_ty199_dict : ty199 size_class
val instance_Machine_word_Size_Machine_word_ty200_dict : ty200 size_class
val instance_Machine_word_Size_Machine_word_ty201_dict : ty201 size_class
val instance_Machine_word_Size_Machine_word_ty202_dict : ty202 size_class
val instance_Machine_word_Size_Machine_word_ty203_dict : ty203 size_class
val instance_Machine_word_Size_Machine_word_ty204_dict : ty204 size_class
val instance_Machine_word_Size_Machine_word_ty205_dict : ty205 size_class
val instance_Machine_word_Size_Machine_word_ty206_dict : ty206 size_class
val instance_Machine_word_Size_Machine_word_ty207_dict : ty207 size_class
val instance_Machine_word_Size_Machine_word_ty208_dict : ty208 size_class
val instance_Machine_word_Size_Machine_word_ty209_dict : ty209 size_class
val instance_Machine_word_Size_Machine_word_ty210_dict : ty210 size_class
val instance_Machine_word_Size_Machine_word_ty211_dict : ty211 size_class
val instance_Machine_word_Size_Machine_word_ty212_dict : ty212 size_class
val instance_Machine_word_Size_Machine_word_ty213_dict : ty213 size_class
val instance_Machine_word_Size_Machine_word_ty214_dict : ty214 size_class
val instance_Machine_word_Size_Machine_word_ty215_dict : ty215 size_class
val instance_Machine_word_Size_Machine_word_ty216_dict : ty216 size_class
val instance_Machine_word_Size_Machine_word_ty217_dict : ty217 size_class
val instance_Machine_word_Size_Machine_word_ty218_dict : ty218 size_class
val instance_Machine_word_Size_Machine_word_ty219_dict : ty219 size_class
val instance_Machine_word_Size_Machine_word_ty220_dict : ty220 size_class
val instance_Machine_word_Size_Machine_word_ty221_dict : ty221 size_class
val instance_Machine_word_Size_Machine_word_ty222_dict : ty222 size_class
val instance_Machine_word_Size_Machine_word_ty223_dict : ty223 size_class
val instance_Machine_word_Size_Machine_word_ty224_dict : ty224 size_class
val instance_Machine_word_Size_Machine_word_ty225_dict : ty225 size_class
val instance_Machine_word_Size_Machine_word_ty226_dict : ty226 size_class
val instance_Machine_word_Size_Machine_word_ty227_dict : ty227 size_class
val instance_Machine_word_Size_Machine_word_ty228_dict : ty228 size_class
val instance_Machine_word_Size_Machine_word_ty229_dict : ty229 size_class
val instance_Machine_word_Size_Machine_word_ty230_dict : ty230 size_class
val instance_Machine_word_Size_Machine_word_ty231_dict : ty231 size_class
val instance_Machine_word_Size_Machine_word_ty232_dict : ty232 size_class
val instance_Machine_word_Size_Machine_word_ty233_dict : ty233 size_class
val instance_Machine_word_Size_Machine_word_ty234_dict : ty234 size_class
val instance_Machine_word_Size_Machine_word_ty235_dict : ty235 size_class
val instance_Machine_word_Size_Machine_word_ty236_dict : ty236 size_class
val instance_Machine_word_Size_Machine_word_ty237_dict : ty237 size_class
val instance_Machine_word_Size_Machine_word_ty238_dict : ty238 size_class
val instance_Machine_word_Size_Machine_word_ty239_dict : ty239 size_class
val instance_Machine_word_Size_Machine_word_ty240_dict : ty240 size_class
val instance_Machine_word_Size_Machine_word_ty241_dict : ty241 size_class
val instance_Machine_word_Size_Machine_word_ty242_dict : ty242 size_class
val instance_Machine_word_Size_Machine_word_ty243_dict : ty243 size_class
val instance_Machine_word_Size_Machine_word_ty244_dict : ty244 size_class
val instance_Machine_word_Size_Machine_word_ty245_dict : ty245 size_class
val instance_Machine_word_Size_Machine_word_ty246_dict : ty246 size_class
val instance_Machine_word_Size_Machine_word_ty247_dict : ty247 size_class
val instance_Machine_word_Size_Machine_word_ty248_dict : ty248 size_class
val instance_Machine_word_Size_Machine_word_ty249_dict : ty249 size_class
val instance_Machine_word_Size_Machine_word_ty250_dict : ty250 size_class
val instance_Machine_word_Size_Machine_word_ty251_dict : ty251 size_class
val instance_Machine_word_Size_Machine_word_ty252_dict : ty252 size_class
val instance_Machine_word_Size_Machine_word_ty253_dict : ty253 size_class
val instance_Machine_word_Size_Machine_word_ty254_dict : ty254 size_class
val instance_Machine_word_Size_Machine_word_ty255_dict : ty255 size_class
val instance_Machine_word_Size_Machine_word_ty256_dict : ty256 size_class
val instance_Machine_word_Size_Machine_word_ty257_dict : ty257 size_class
val wordFromNatural : 'a size_class -> Big_int_impl.BI.big_int -> Lem.mword
val wordToHex : 'a -> string
val instance_Show_Show_Machine_word_mword_dict : Lem.mword Lem_show.show_class
val size_test_fn : 'a size_class -> 'b -> int
val instance_Basic_classes_Eq_Machine_word_mword_dict : Lem.mword Lem_basic_classes.eq_class
val signedLess : (int * Big_int_impl.BI.big_int) -> (int * Big_int_impl.BI.big_int) -> bool
val signedLessEq : (int * Big_int_impl.BI.big_int) -> (int * Big_int_impl.BI.big_int) -> bool
val zeroExtend : 'a size_class -> ('b * Big_int_impl.BI.big_int) -> Lem.mword
val signedDivide : (int * Nat_big_num.num) -> (int * Nat_big_num.num) -> Lem.mword
val wordFromInteger : 'a size_class -> Nat_big_num.num -> Lem.mword
val signExtend : 'a size_class -> (int * Big_int_impl.BI.big_int) -> Lem.mword
OCaml

Innovation. Community. Security.