Built-in Function Index
Built-in functions are available without import in any expression context.
| Function | Signature | Description |
|---|---|---|
abs | (Int) → Int | Absolute value |
bv | (Int, Int) → Bits(n) | Bitvector literal of width n |
concat | (Bits(m), Bits(n)) → Bits(m+n) | Concatenate bitvectors |
contains | (Set(T), T) → Bool | Membership test |
count | ((T → Bool), Range) → Int | Count satisfying elements |
dequeue | (Queue(T)) → Queue(T) | Remove front element |
enqueue | (Queue(T), T) → Queue(T) | Add to back |
extract | (Bits(n), Int, Int) → Bits(hi-lo+1) | Bit slice |
gcd | (Int, Int) → Int | Greatest common divisor |
insert | (Set(T), T) → Set(T) | Add element |
isEmpty | (Set(T) | Queue(T)) → Bool | Emptiness test |
max | (Int, Int) → Int | Maximum |
min | (Int, Int) → Int | Minimum |
peek | (Queue(T)) → T | Front element without removal |
pow | (Int, Int) → Int | Integer exponentiation |
product | ((Int → Int), Range) → Int | Product over range |
remove | (Set(T), T) → Set(T) | Drop element |
sext | (Bits(n), Int) → Bits(width) | Signed extension |
size | (Set(T) | Queue(T)) → Int | Cardinality |
sum | ((Int → Int), Range) → Int | Sum over range |
zext | (Bits(n), Int) → Bits(width) | Zero extension |