Typespecs reference — Elixir v1.18.4Typespecs are not set-theoretic typesElixir is in the process of implementing its own type system based on set-theoretic types. Typespecs, which are described in the following document, are a distinct notation for declaring types and specifications based on Erlang. Typespecs may be phased out as the set-theoretic type effort moves forward. Elixir is a dynamically typed language, and as such, type
