pattern matching for Bdd type (not only BddTree) #12

Open

Labels

opened

on May 17, 2024

see https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/pattern_synonyms.html

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests