Drop only dictionaries of type Eq, Ord, Numerical, and ~#1606

Open

yiyunliu wants to merge 1 commit intoucsd-progsys:developfrom yiyunliu:drop-only-embedded

+93-33

Commits on Feb 8, 2020

drop only dictionaries of type Eq, Ord, Numerical, and ~
yiyunliu
committed