#Reverse-Arrows

Type inference and narrowing with reverse arrows

Elixir infers and narrows types by refining dynamic values and propagating constraints through function arrows in reverse, which improves bug finding and will support more precise signatures in v1.21.