Data.Int.Ops
Contents
axiom < : Int → Int → BoolSource#
axiom eqInt : Int → Int → BoolSource#
axiom == : Int → Int → BoolSource#
axiom - : Int → Int → IntSource#
axiom + : Int → Int → IntSource#
