Learning persistency for complex terms

[EricGT]

@Boris

You then have to read through it and look at the table in the docs for must_be/2 .

That is not the full list. To see the full list one needs to look at the code for has_type/2

---

To OP, you may find this of interest as it relates to library persistence.

Solving two consecutive dependent goals from command line