blob: 8847f03e09612611ac1a9d962ab3c5f26c40f953 (
plain)
1
2
3
4
5
6
7
8
9
|
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
|
