module Prelude where

import PrimIntegerLe

primIntegerGe :: Integer -> Integer -> Bool
primIntegerGe a b = primIntegerLe b a