(.>=.) :: Eq a => Num a => Ord k => LinAst k a -> LinAst k a -> Ineq.IneqExpr k a a
(.>=.) = flip (.<=.)
(.>=.) :: Eq a => Num a => Ord k => LinAst k a -> LinAst k a -> Ineq.IneqExpr k a a
(.>=.) = flip (.<=.)
(.>=.) = flip (.<=.)