Split TypeEmbedding into a PretypeEmbedding and flags.
#527
| Job | Run time |
|---|---|
| 3m 11s | |
| 3m 11s |
TypeEmbedding into a PretypeEmbedding and flags.
#527
| Job | Run time |
|---|---|
| 3m 11s | |
| 3m 11s |