test-suite/output/NotationsCoercions.out


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

Let "x" e1 e2
     : expr
Let "x" e1 e2
     : expr
Let "x" e1 e2 : list string
     : list string
b = a
     : Prop
foo
     : (_ BitVec 32)
#[ r ] 0
     : nat
##[ r ]
     : nat
##[ r ]
     : nat
#[ r ] 0
     : nat
##[ r ]
     : nat
##[ r ]
     : nat