mirror of
https://github.com/Kindelia/Kind2.git
synced 2024-10-26 08:09:22 +03:00
define other signed machine integers
This commit is contained in:
parent
6dc75e9434
commit
b363dd9e3f
3
base/I128.kind
Normal file
3
base/I128.kind
Normal file
@ -0,0 +1,3 @@
|
||||
type I128 {
|
||||
new(value: Word(128))
|
||||
}
|
3
base/I128/abs.kind
Normal file
3
base/I128/abs.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.abs(a: I128): I128
|
||||
open a
|
||||
I128.new(Word.abs!(a.value))
|
4
base/I128/add.kind
Normal file
4
base/I128/add.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.add(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.add!(a.value, b.value))
|
4
base/I128/and.kind
Normal file
4
base/I128/and.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.and(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.and!(a.value, b.value))
|
3
base/I128/bit_length.kind
Normal file
3
base/I128/bit_length.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.bit_length(size: I128): Nat
|
||||
open size
|
||||
Word.bit_length!(size.value)
|
4
base/I128/cmp.kind
Normal file
4
base/I128/cmp.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.cmp(a: I128, b: I128): Cmp
|
||||
open a
|
||||
open b
|
||||
Word.s_cmp!(a.value, b.value)
|
4
base/I128/div.kind
Normal file
4
base/I128/div.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.div(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.div!(a.value, b.value))
|
4
base/I128/eql.kind
Normal file
4
base/I128/eql.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.eql(a: I128, b: I128): Bool
|
||||
open a
|
||||
open b
|
||||
Word.eql!(a.value, b.value)
|
5
base/I128/for.kind
Normal file
5
base/I128/for.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I128.for<S: Type>(state: S, from: I128, til: I128, func: I128 -> S -> S): S
|
||||
case I128.eql(from,til) {
|
||||
true: state
|
||||
false: I128.for<S>(func(from,state), I128.inc(from), til, func)
|
||||
}
|
2
base/I128/gte.kind
Normal file
2
base/I128/gte.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I128.gte(a: I128, b: I128): Bool
|
||||
Cmp.as_gte(I128.cmp(a, b))
|
2
base/I128/gtn.kind
Normal file
2
base/I128/gtn.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I128.gtn(a: I128, b: I128): Bool
|
||||
Cmp.as_gtn(I128.cmp(a, b))
|
3
base/I128/inc.kind
Normal file
3
base/I128/inc.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.inc(a: I128): I128
|
||||
open a
|
||||
I128.new(Word.inc!(a.value))
|
3
base/I128/is_neg.kind
Normal file
3
base/I128/is_neg.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.is_neg(a: I128): Bool
|
||||
open a
|
||||
Word.is_neg!(a.value, false)
|
3
base/I128/length.kind
Normal file
3
base/I128/length.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.length(str: String): I128
|
||||
I128.length(str)
|
||||
|
2
base/I128/lte.kind
Normal file
2
base/I128/lte.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I128.lte(a: I128, b: I128): Bool
|
||||
Cmp.as_lte(I128.cmp(a, b))
|
2
base/I128/ltn.kind
Normal file
2
base/I128/ltn.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I128.ltn(a: I128, b: I128): Bool
|
||||
Cmp.as_ltn(I128.cmp(a, b))
|
4
base/I128/mod.kind
Normal file
4
base/I128/mod.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.mod(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.mod!(a.value, b.value))
|
5
base/I128/mul.kind
Normal file
5
base/I128/mul.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I128.mul(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.mul!(a.value, b.value))
|
||||
|
3
base/I128/neg.kind
Normal file
3
base/I128/neg.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.neg(a: I128): I128
|
||||
open a
|
||||
I128.new(Word.neg!(a.value))
|
5
base/I128/or.kind
Normal file
5
base/I128/or.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I128.or(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.or!(a.value, b.value))
|
||||
|
4
base/I128/pow.kind
Normal file
4
base/I128/pow.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.pow(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.pow!(a.value, b.value))
|
4
base/I128/shl.kind
Normal file
4
base/I128/shl.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.shl(n: I128, a: I128): I128
|
||||
open n
|
||||
open a
|
||||
I128.new(Word.s_shl!(n.value, a.value))
|
3
base/I128/show.kind
Normal file
3
base/I128/show.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.show(a: I128): String
|
||||
open a
|
||||
Word.show!(a.value)
|
4
base/I128/shr.kind
Normal file
4
base/I128/shr.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.shr(n: I128, a: I128): I128
|
||||
open n
|
||||
open a
|
||||
I128.new(Word.s_shr!(n.value, a.value))
|
4
base/I128/slice.kind
Normal file
4
base/I128/slice.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.slice(i: I128, j: I128, str: String): String
|
||||
open i
|
||||
open j
|
||||
Word.s_slice!(i.value, j.value, str)
|
3
base/I128/sqrt.kind
Normal file
3
base/I128/sqrt.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.sqrt(val: I128): I128
|
||||
open val
|
||||
I128.new(Word.s_sqrt!(val.value))
|
4
base/I128/sub.kind
Normal file
4
base/I128/sub.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.sub(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.sub!(a.value, b.value))
|
3
base/I128/to_bits.kind
Normal file
3
base/I128/to_bits.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.to_bits(a: I128): Bits
|
||||
open a
|
||||
Word.to_bits!(a.value)
|
3
base/I128/to_f64.kind
Normal file
3
base/I128/to_f64.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.to_f64(a: I128): F64
|
||||
open a
|
||||
Word.s_to_f64!(a.value)
|
3
base/I128/to_int.kind
Normal file
3
base/I128/to_int.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.to_int(a: I128): Int
|
||||
open a
|
||||
Word.to_int!(a.value)
|
3
base/I128/to_string.kind
Normal file
3
base/I128/to_string.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I128.show(a: I128): String
|
||||
open a
|
||||
Word.s_show!(a.value)
|
4
base/I128/xor.kind
Normal file
4
base/I128/xor.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I128.xor(a: I128, b: I128): I128
|
||||
open a
|
||||
open b
|
||||
I128.new(Word.xor!(a.value, b.value))
|
2
base/I128/zero.kind
Normal file
2
base/I128/zero.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I128.zero: I128
|
||||
I128.new(Word.zero!)
|
3
base/I16.kind
Normal file
3
base/I16.kind
Normal file
@ -0,0 +1,3 @@
|
||||
type I16 {
|
||||
new(value: Word(16))
|
||||
}
|
3
base/I16/abs.kind
Normal file
3
base/I16/abs.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.abs(a: I16): I16
|
||||
open a
|
||||
I16.new(Word.abs!(a.value))
|
4
base/I16/add.kind
Normal file
4
base/I16/add.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.add(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.add!(a.value, b.value))
|
4
base/I16/and.kind
Normal file
4
base/I16/and.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.and(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.and!(a.value, b.value))
|
3
base/I16/bit_length.kind
Normal file
3
base/I16/bit_length.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.bit_length(size: I16): Nat
|
||||
open size
|
||||
Word.bit_length!(size.value)
|
4
base/I16/cmp.kind
Normal file
4
base/I16/cmp.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.cmp(a: I16, b: I16): Cmp
|
||||
open a
|
||||
open b
|
||||
Word.s_cmp!(a.value, b.value)
|
4
base/I16/div.kind
Normal file
4
base/I16/div.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.div(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.div!(a.value, b.value))
|
4
base/I16/eql.kind
Normal file
4
base/I16/eql.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.eql(a: I16, b: I16): Bool
|
||||
open a
|
||||
open b
|
||||
Word.eql!(a.value, b.value)
|
5
base/I16/for.kind
Normal file
5
base/I16/for.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I16.for<S: Type>(state: S, from: I16, til: I16, func: I16 -> S -> S): S
|
||||
case I16.eql(from,til) {
|
||||
true: state
|
||||
false: I16.for<S>(func(from,state), I16.inc(from), til, func)
|
||||
}
|
2
base/I16/gte.kind
Normal file
2
base/I16/gte.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I16.gte(a: I16, b: I16): Bool
|
||||
Cmp.as_gte(I16.cmp(a, b))
|
2
base/I16/gtn.kind
Normal file
2
base/I16/gtn.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I16.gtn(a: I16, b: I16): Bool
|
||||
Cmp.as_gtn(I16.cmp(a, b))
|
3
base/I16/inc.kind
Normal file
3
base/I16/inc.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.inc(a: I16): I16
|
||||
open a
|
||||
I16.new(Word.inc!(a.value))
|
3
base/I16/is_neg.kind
Normal file
3
base/I16/is_neg.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.is_neg(a: I16): Bool
|
||||
open a
|
||||
Word.is_neg!(a.value, false)
|
3
base/I16/length.kind
Normal file
3
base/I16/length.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.length(str: String): I16
|
||||
I16.length(str)
|
||||
|
2
base/I16/lte.kind
Normal file
2
base/I16/lte.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I16.lte(a: I16, b: I16): Bool
|
||||
Cmp.as_lte(I16.cmp(a, b))
|
2
base/I16/ltn.kind
Normal file
2
base/I16/ltn.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I16.ltn(a: I16, b: I16): Bool
|
||||
Cmp.as_ltn(I16.cmp(a, b))
|
4
base/I16/mod.kind
Normal file
4
base/I16/mod.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.mod(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.mod!(a.value, b.value))
|
5
base/I16/mul.kind
Normal file
5
base/I16/mul.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I16.mul(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.mul!(a.value, b.value))
|
||||
|
3
base/I16/neg.kind
Normal file
3
base/I16/neg.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.neg(a: I16): I16
|
||||
open a
|
||||
I16.new(Word.neg!(a.value))
|
5
base/I16/or.kind
Normal file
5
base/I16/or.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I16.or(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.or!(a.value, b.value))
|
||||
|
4
base/I16/pow.kind
Normal file
4
base/I16/pow.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.pow(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.pow!(a.value, b.value))
|
4
base/I16/shl.kind
Normal file
4
base/I16/shl.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.shl(n: I16, a: I16): I16
|
||||
open n
|
||||
open a
|
||||
I16.new(Word.s_shl!(n.value, a.value))
|
3
base/I16/show.kind
Normal file
3
base/I16/show.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.show(a: I16): String
|
||||
open a
|
||||
Word.show!(a.value)
|
4
base/I16/shr.kind
Normal file
4
base/I16/shr.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.shr(n: I16, a: I16): I16
|
||||
open n
|
||||
open a
|
||||
I16.new(Word.s_shr!(n.value, a.value))
|
4
base/I16/slice.kind
Normal file
4
base/I16/slice.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.slice(i: I16, j: I16, str: String): String
|
||||
open i
|
||||
open j
|
||||
Word.s_slice!(i.value, j.value, str)
|
3
base/I16/sqrt.kind
Normal file
3
base/I16/sqrt.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.sqrt(val: I16): I16
|
||||
open val
|
||||
I16.new(Word.s_sqrt!(val.value))
|
4
base/I16/sub.kind
Normal file
4
base/I16/sub.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.sub(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.sub!(a.value, b.value))
|
3
base/I16/to_bits.kind
Normal file
3
base/I16/to_bits.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.to_bits(a: I16): Bits
|
||||
open a
|
||||
Word.to_bits!(a.value)
|
3
base/I16/to_f64.kind
Normal file
3
base/I16/to_f64.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.to_f64(a: I16): F64
|
||||
open a
|
||||
Word.s_to_f64!(a.value)
|
3
base/I16/to_int.kind
Normal file
3
base/I16/to_int.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.to_int(a: I16): Int
|
||||
open a
|
||||
Word.to_int!(a.value)
|
3
base/I16/to_string.kind
Normal file
3
base/I16/to_string.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I16.show(a: I16): String
|
||||
open a
|
||||
Word.s_show!(a.value)
|
4
base/I16/xor.kind
Normal file
4
base/I16/xor.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I16.xor(a: I16, b: I16): I16
|
||||
open a
|
||||
open b
|
||||
I16.new(Word.xor!(a.value, b.value))
|
2
base/I16/zero.kind
Normal file
2
base/I16/zero.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I16.zero: I16
|
||||
I16.new(Word.zero!)
|
3
base/I256.kind
Normal file
3
base/I256.kind
Normal file
@ -0,0 +1,3 @@
|
||||
type I256 {
|
||||
new(value: Word(256))
|
||||
}
|
3
base/I256/abs.kind
Normal file
3
base/I256/abs.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.abs(a: I256): I256
|
||||
open a
|
||||
I256.new(Word.abs!(a.value))
|
4
base/I256/add.kind
Normal file
4
base/I256/add.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.add(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.add!(a.value, b.value))
|
4
base/I256/and.kind
Normal file
4
base/I256/and.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.and(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.and!(a.value, b.value))
|
3
base/I256/bit_length.kind
Normal file
3
base/I256/bit_length.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.bit_length(size: I256): Nat
|
||||
open size
|
||||
Word.bit_length!(size.value)
|
4
base/I256/cmp.kind
Normal file
4
base/I256/cmp.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.cmp(a: I256, b: I256): Cmp
|
||||
open a
|
||||
open b
|
||||
Word.s_cmp!(a.value, b.value)
|
4
base/I256/div.kind
Normal file
4
base/I256/div.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.div(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.div!(a.value, b.value))
|
4
base/I256/eql.kind
Normal file
4
base/I256/eql.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.eql(a: I256, b: I256): Bool
|
||||
open a
|
||||
open b
|
||||
Word.eql!(a.value, b.value)
|
5
base/I256/for.kind
Normal file
5
base/I256/for.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I256.for<S: Type>(state: S, from: I256, til: I256, func: I256 -> S -> S): S
|
||||
case I256.eql(from,til) {
|
||||
true: state
|
||||
false: I256.for<S>(func(from,state), I256.inc(from), til, func)
|
||||
}
|
2
base/I256/gte.kind
Normal file
2
base/I256/gte.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I256.gte(a: I256, b: I256): Bool
|
||||
Cmp.as_gte(I256.cmp(a, b))
|
2
base/I256/gtn.kind
Normal file
2
base/I256/gtn.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I256.gtn(a: I256, b: I256): Bool
|
||||
Cmp.as_gtn(I256.cmp(a, b))
|
3
base/I256/inc.kind
Normal file
3
base/I256/inc.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.inc(a: I256): I256
|
||||
open a
|
||||
I256.new(Word.inc!(a.value))
|
3
base/I256/is_neg.kind
Normal file
3
base/I256/is_neg.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.is_neg(a: I256): Bool
|
||||
open a
|
||||
Word.is_neg!(a.value, false)
|
3
base/I256/length.kind
Normal file
3
base/I256/length.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.length(str: String): I256
|
||||
I256.length(str)
|
||||
|
2
base/I256/lte.kind
Normal file
2
base/I256/lte.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I256.lte(a: I256, b: I256): Bool
|
||||
Cmp.as_lte(I256.cmp(a, b))
|
2
base/I256/ltn.kind
Normal file
2
base/I256/ltn.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I256.ltn(a: I256, b: I256): Bool
|
||||
Cmp.as_ltn(I256.cmp(a, b))
|
4
base/I256/mod.kind
Normal file
4
base/I256/mod.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.mod(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.mod!(a.value, b.value))
|
5
base/I256/mul.kind
Normal file
5
base/I256/mul.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I256.mul(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.mul!(a.value, b.value))
|
||||
|
3
base/I256/neg.kind
Normal file
3
base/I256/neg.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.neg(a: I256): I256
|
||||
open a
|
||||
I256.new(Word.neg!(a.value))
|
5
base/I256/or.kind
Normal file
5
base/I256/or.kind
Normal file
@ -0,0 +1,5 @@
|
||||
I256.or(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.or!(a.value, b.value))
|
||||
|
4
base/I256/pow.kind
Normal file
4
base/I256/pow.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.pow(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.pow!(a.value, b.value))
|
4
base/I256/shl.kind
Normal file
4
base/I256/shl.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.shl(n: I256, a: I256): I256
|
||||
open n
|
||||
open a
|
||||
I256.new(Word.s_shl!(n.value, a.value))
|
3
base/I256/show.kind
Normal file
3
base/I256/show.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.show(a: I256): String
|
||||
open a
|
||||
Word.show!(a.value)
|
4
base/I256/shr.kind
Normal file
4
base/I256/shr.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.shr(n: I256, a: I256): I256
|
||||
open n
|
||||
open a
|
||||
I256.new(Word.s_shr!(n.value, a.value))
|
4
base/I256/slice.kind
Normal file
4
base/I256/slice.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.slice(i: I256, j: I256, str: String): String
|
||||
open i
|
||||
open j
|
||||
Word.s_slice!(i.value, j.value, str)
|
3
base/I256/sqrt.kind
Normal file
3
base/I256/sqrt.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.sqrt(val: I256): I256
|
||||
open val
|
||||
I256.new(Word.s_sqrt!(val.value))
|
4
base/I256/sub.kind
Normal file
4
base/I256/sub.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.sub(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.sub!(a.value, b.value))
|
3
base/I256/to_bits.kind
Normal file
3
base/I256/to_bits.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.to_bits(a: I256): Bits
|
||||
open a
|
||||
Word.to_bits!(a.value)
|
3
base/I256/to_f64.kind
Normal file
3
base/I256/to_f64.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.to_f64(a: I256): F64
|
||||
open a
|
||||
Word.s_to_f64!(a.value)
|
3
base/I256/to_int.kind
Normal file
3
base/I256/to_int.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.to_int(a: I256): Int
|
||||
open a
|
||||
Word.to_int!(a.value)
|
3
base/I256/to_string.kind
Normal file
3
base/I256/to_string.kind
Normal file
@ -0,0 +1,3 @@
|
||||
I256.show(a: I256): String
|
||||
open a
|
||||
Word.s_show!(a.value)
|
4
base/I256/xor.kind
Normal file
4
base/I256/xor.kind
Normal file
@ -0,0 +1,4 @@
|
||||
I256.xor(a: I256, b: I256): I256
|
||||
open a
|
||||
open b
|
||||
I256.new(Word.xor!(a.value, b.value))
|
2
base/I256/zero.kind
Normal file
2
base/I256/zero.kind
Normal file
@ -0,0 +1,2 @@
|
||||
I256.zero: I256
|
||||
I256.new(Word.zero!)
|
3
base/I64.kind
Normal file
3
base/I64.kind
Normal file
@ -0,0 +1,3 @@
|
||||
type I64 {
|
||||
new(value: Word(64))
|
||||
}
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user