An ADT for Nim

where n = number of coins in first pile, and
m = number of coins in second pile.