(.<=.) :: Eq a => Num a => Ord k => LinAst k a -> LinAst k a -> Ineq.IneqExpr k a a
x .<=. y = Ineq.LteExpr (makeLinExpr x) (makeLinExpr y)
(.<=.) :: Eq a => Num a => Ord k => LinAst k a -> LinAst k a -> Ineq.IneqExpr k a a
x .<=. y = Ineq.LteExpr (makeLinExpr x) (makeLinExpr y)
x .<=. y = Ineq.LteExpr (makeLinExpr x) (makeLinExpr y)