Fix lazy_bdd type definition

josevalim · josevalim · commit c5c30bd19d83 · 2025-12-02T19:05:36.000+01:00
diff --git a/_posts/2025-12-02-lazier-bdds-for-set-theoretic-types.markdown b/_posts/2025-12-02-lazier-bdds-for-set-theoretic-types.markdown
@@ -166,7 +166,7 @@ In a nutshell, we introduce a new element, called `uncertain`, to each non-leaf
 
 ```elixir
 type lazy_bdd() = :top or :bottom or
-{type(), constrained :: bdd(), uncertain :: bdd(), dual :: bdd()}
+{type(), constrained :: lazy_bdd(), uncertain :: lazy_bdd(), dual :: lazy_bdd()}
 ```
 
 We'll refer to the `uncertain` as unions going forward.

-Original file line number
+Diff line change
 ```elixir
 type lazy_bdd() =:topor:bottomor
 -{type(), constrained ::bdd(), uncertain ::bdd(), dual ::bdd()}
 +{type(), constrained ::lazy_bdd(), uncertain ::lazy_bdd(), dual ::lazy_bdd()}
 ```
 We'll refer to the `uncertain` as unions going forward.