Functions — github.com/digama0/lean-sys

hub / github.com/digama0/lean-sys / functions

Functions538 in github.com/digama0/lean-sys

⨍ Functions 538◇ Types & classes 15

Functionlean_int16_complement

(a: u16)

src/primitive/int16.rs:92

Functionlean_int16_dec_eq

(a1: u16, a2: u16)

src/primitive/int16.rs:102

Functionlean_int16_dec_le

(a1: u16, a2: u16)

src/primitive/int16.rs:112

Functionlean_int16_dec_lt

(a1: u16, a2: u16)

src/primitive/int16.rs:107

Functionlean_int16_div

(a1: u16, a2: u16)

src/primitive/int16.rs:47

Functionlean_int16_land

(a1: u16, a2: u16)

src/primitive/int16.rs:65

Functionlean_int16_lor

(a1: u16, a2: u16)

src/primitive/int16.rs:70

Functionlean_int16_mod

(a1: u16, a2: u16)

src/primitive/int16.rs:56

Functionlean_int16_mul

(a1: u16, a2: u16)

src/primitive/int16.rs:42

Functionlean_int16_neg

(a: u16)

src/primitive/int16.rs:27

Functionlean_int16_of_int

(a: b_lean_obj_arg)

src/primitive/int16.rs:4

Functionlean_int16_of_nat

(a: b_lean_obj_arg)

src/primitive/int16.rs:13

Functionlean_int16_shift_left

(a1: u16, a2: u16)

src/primitive/int16.rs:80

Functionlean_int16_shift_right

(a1: u16, a2: u16)

src/primitive/int16.rs:86

Functionlean_int16_sub

(a1: u16, a2: u16)

src/primitive/int16.rs:37

Functionlean_int16_to_float

(a: u16)

src/primitive/float.rs:85

Functionlean_int16_to_float32

(a: u16)

src/primitive/float32.rs:85

Functionlean_int16_to_int

(a: u16)

src/primitive/int16.rs:22

Functionlean_int16_to_int32

(a: u16)

src/primitive/int16.rs:121

Functionlean_int16_to_int64

(a: u16)

src/primitive/int16.rs:125

Functionlean_int16_to_int8

(a: u16)

src/primitive/int16.rs:117

Functionlean_int16_to_isize

(a: u16)

src/primitive/int16.rs:129

Functionlean_int16_xor

(a1: u16, a2: u16)

src/primitive/int16.rs:75

Functionlean_int32_abs

(a: u32)

src/primitive/int32.rs:97

Functionlean_int32_add

(a1: u32, a2: u32)

src/primitive/int32.rs:32

Functionlean_int32_complement

(a: u32)

src/primitive/int32.rs:92

Functionlean_int32_dec_eq

(a1: u32, a2: u32)

src/primitive/int32.rs:102

Functionlean_int32_dec_le

(a1: u32, a2: u32)

src/primitive/int32.rs:112

Functionlean_int32_dec_lt

(a1: u32, a2: u32)

src/primitive/int32.rs:107

Functionlean_int32_div

(a1: u32, a2: u32)

src/primitive/int32.rs:47

Functionlean_int32_land

(a1: u32, a2: u32)

src/primitive/int32.rs:65

Functionlean_int32_lor

(a1: u32, a2: u32)

src/primitive/int32.rs:70

Functionlean_int32_mod

(a1: u32, a2: u32)

src/primitive/int32.rs:56

Functionlean_int32_mul

(a1: u32, a2: u32)

src/primitive/int32.rs:42

Functionlean_int32_neg

(a: u32)

src/primitive/int32.rs:27

Functionlean_int32_of_int

(a: b_lean_obj_arg)

src/primitive/int32.rs:4

Functionlean_int32_of_nat

(a: b_lean_obj_arg)

src/primitive/int32.rs:13

Functionlean_int32_shift_left

(a1: u32, a2: u32)

src/primitive/int32.rs:80

Functionlean_int32_shift_right

(a1: u32, a2: u32)

src/primitive/int32.rs:86

Functionlean_int32_sub

(a1: u32, a2: u32)

src/primitive/int32.rs:37

Functionlean_int32_to_float

(a: u32)

src/primitive/float.rs:88

Functionlean_int32_to_float32

(a: u32)

src/primitive/float32.rs:88

Functionlean_int32_to_int

(a: u32)

src/primitive/int32.rs:22

Functionlean_int32_to_int16

(a: u32)

src/primitive/int32.rs:121

Functionlean_int32_to_int64

(a: u32)

src/primitive/int32.rs:125

Functionlean_int32_to_int8

(a: u32)

src/primitive/int32.rs:117

Functionlean_int32_to_isize

(a: u32)

src/primitive/int32.rs:129

Functionlean_int32_xor

(a1: u32, a2: u32)

src/primitive/int32.rs:75

Functionlean_int64_abs

(a: u64)

src/primitive/int64.rs:97

Functionlean_int64_add

(a1: u64, a2: u64)

src/primitive/int64.rs:32

Functionlean_int64_complement

(a: u64)

src/primitive/int64.rs:92

Functionlean_int64_dec_eq

(a1: u64, a2: u64)

src/primitive/int64.rs:102

Functionlean_int64_dec_le

(a1: u64, a2: u64)

src/primitive/int64.rs:112

Functionlean_int64_dec_lt

(a1: u64, a2: u64)

src/primitive/int64.rs:107

Functionlean_int64_div

(a1: u64, a2: u64)

src/primitive/int64.rs:47

Functionlean_int64_land

(a1: u64, a2: u64)

src/primitive/int64.rs:65

Functionlean_int64_lor

(a1: u64, a2: u64)

src/primitive/int64.rs:70

Functionlean_int64_mod

(a1: u64, a2: u64)

src/primitive/int64.rs:56

Functionlean_int64_mul

(a1: u64, a2: u64)

src/primitive/int64.rs:42

Functionlean_int64_neg

(a: u64)

src/primitive/int64.rs:27

Functionlean_int64_of_int

(a: b_lean_obj_arg)

src/primitive/int64.rs:4

Functionlean_int64_of_nat

(a: b_lean_obj_arg)

src/primitive/int64.rs:13

Functionlean_int64_shift_left

(a1: u64, a2: u64)

src/primitive/int64.rs:80

Functionlean_int64_shift_right

(a1: u64, a2: u64)

src/primitive/int64.rs:86

Functionlean_int64_sub

(a1: u64, a2: u64)

src/primitive/int64.rs:37

Functionlean_int64_to_float

(a: u64)

src/primitive/float.rs:91

Functionlean_int64_to_float32

(a: u64)

src/primitive/float32.rs:91

Functionlean_int64_to_int16

(a: u64)

src/primitive/int64.rs:121

Functionlean_int64_to_int32

(a: u64)

src/primitive/int64.rs:125

Functionlean_int64_to_int8

(a: u64)

src/primitive/int64.rs:117

Functionlean_int64_to_int_sint

(a: u64)

src/primitive/int64.rs:22

Functionlean_int64_to_isize

(a: u64)

src/primitive/int64.rs:129

Functionlean_int64_xor

(a1: u64, a2: u64)

src/primitive/int64.rs:75

Functionlean_int8_abs

(a: u8)

src/primitive/int8.rs:97

Functionlean_int8_add

(a1: u8, a2: u8)

src/primitive/int8.rs:32

Functionlean_int8_complement

(a: u8)

src/primitive/int8.rs:92

Functionlean_int8_dec_eq

(a1: u8, a2: u8)

src/primitive/int8.rs:102

Functionlean_int8_dec_le

(a1: u8, a2: u8)

src/primitive/int8.rs:112

Functionlean_int8_dec_lt

(a1: u8, a2: u8)

src/primitive/int8.rs:107

Functionlean_int8_div

(a1: u8, a2: u8)

src/primitive/int8.rs:47

Functionlean_int8_land

(a1: u8, a2: u8)

src/primitive/int8.rs:65

Functionlean_int8_lor

(a1: u8, a2: u8)

src/primitive/int8.rs:70

Functionlean_int8_mod

(a1: u8, a2: u8)

src/primitive/int8.rs:56

Functionlean_int8_mul

(a1: u8, a2: u8)

src/primitive/int8.rs:42

Functionlean_int8_neg

(a: u8)

src/primitive/int8.rs:27

Functionlean_int8_of_int

(a: b_lean_obj_arg)

src/primitive/int8.rs:4

Functionlean_int8_of_nat

(a: b_lean_obj_arg)

src/primitive/int8.rs:13

Functionlean_int8_shift_left

(a1: u8, a2: u8)

src/primitive/int8.rs:80

Functionlean_int8_shift_right

(a1: u8, a2: u8)

src/primitive/int8.rs:86

Functionlean_int8_sub

(a1: u8, a2: u8)

src/primitive/int8.rs:37

Functionlean_int8_to_float

(a: u8)

src/primitive/float.rs:82

Functionlean_int8_to_float32

(a: u8)

src/primitive/float32.rs:82

Functionlean_int8_to_int

(a: u8)

src/primitive/int8.rs:22

Functionlean_int8_to_int16

(a: u8)

src/primitive/int8.rs:117

Functionlean_int8_to_int32

(a: u8)

src/primitive/int8.rs:121

Functionlean_int8_to_int64

(a: u8)

src/primitive/int8.rs:125

Functionlean_int8_to_isize

(a: u8)

src/primitive/int8.rs:130

Functionlean_int8_xor

(a1: u8, a2: u8)

src/primitive/int8.rs:75

Functionlean_int_add

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/int.rs:82

Functionlean_int_dec_eq

(a1: b_lean_obj_arg, a2: b_lean_obj_arg)

src/int.rs:269

← previous next →201–300 of 538, ranked by callers