22 ms·
Shouldn't it be: ``` type lazy_bdd() = :top or :bottom or {type(), constrained :: lazy_bdd(), uncertain :: lazy_bdd(), dual :: lazy_bdd()} ``` (where the me
by MarkusQ 11mo ago
Shouldn't it be:
```
type lazy_bdd() = :top or :bottom or
{type(), constrained :: lazy_bdd(), uncertain :: lazy_bdd(), dual :: lazy_bdd()}
```
(where the members are `lazy_bdd()` instead of `bdd()`?)
- josevalim 11mo agoCorrect, I pushed a fix, should be live soon! Thank you!