PropEx.Test.Arithmetics (propex v0.1.0)

Summary

Functions

@spec add(a :: integer(), b :: integer()) :: integer()
@spec sub(a :: integer(), b :: integer()) :: integer()