caballa opened this issue 7 years ago · 1 comments
This has been addressed by generic_abstract_domain which uses type-erasure idiom to hide templates.
generic_abstract_domain