AI - Difficulty is difficulty or higher
Returns true if the current difficulty setting is this or harder. This is for campaign use (in which all players have the same difficulty setting), so player 1's setting is used.
- difficulty difficulty
- Name: Difficulty