module TypeInfer

using ..AExpr

"Perform type inference on `aex`"
function typeinfer(aex::AExpr)
  # Explore graph and built graph
  # Propagate information abour graph until convergence
  
end

function join end
function meet end

\squaresubsetwq

end