blob: 8f2c346d066fd641c4f4e510d6489adf9e2dadf3 (
plain)
1
2
3
4
5
6
7
8
9
10
|
fnreduce -mono_split fnreduce.sail:43:x
varmatch -mono_split varmatch.sail:7:x
vector -mono_split vector.sail:7:sel
union-exist -mono_split union-exist.sail:9:v
fnreduce -auto_mono
varmatch -auto_mono
vector -auto_mono
union-exist -auto_mono
set -auto_mono
assert -auto_mono
|
