-
Kim Nguyễn authored
Improve pretty printing of Bdds and add debug directive to interactively inspect the internal representation of types.
6ee6ef2e
Improve pretty printing of Bdds and add debug directive to interactively inspect the internal representation of types.