do something about bounded funs:
Closed this issue · 1 comments
ityonemo commented
Type of Kernel.max/2:
{:type, 803, :bounded_fun,
[
{:type, 803, :fun,
[
{:type, 803, :product, [{:var, 803, :first}, {:var, 803, :second}]},
{:type, 803, :union, [{:var, 803, :first}, {:var, 803, :second}]}
]},
[
{:type, 803, :constraint,
[
{:atom, 803, :is_subtype},
[{:var, 803, :first}, {:type, 803, :term, []}]
]},
{:type, 803, :constraint,
[
{:atom, 803, :is_subtype},
[{:var, 803, :second}, {:type, 803, :term, []}]
]}
]
]}