lem 2022-12-10 · OCaml Package

type !'a size_class = {

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

package lem