blob: 9d325b38c76a9e04ff76dfa8490961c116fcb7cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
= 0
: uint
= 1
: uint
= 9223372036854775807
: uint
let v := 0 in v : uint
: uint
let v := 1 in v : uint
: uint
let v := 9223372036854775807 in v : uint
: uint
= 0
: sint
= 1
: sint
= -1
: sint
let v := 0 in v : sint
: sint
let v := 1 in v : sint
: sint
let v := -1 in v : sint
: sint
|
