関数fのオプションを宣言する：

fの引数を厳密に1つの位置引数とオプションに分離する：

fの引数が無効の場合に適切なメッセージが出るようにする：

1個から3個の位置引数を取る関数の位置引数とオプションを分離する：

少なくとも2つの位置引数が必要である：

fを1個の引数で呼ぶのは無効である：

厳密に3個の位置引数が必要である：

Options[f]には現れない「隠れた」オプションが使える：

オプションa0はfの既知のオプションではない：

「hidden」という名前のオプションとGraphics の任意のオプションが設定できる：

位置 min+1から max までの未知の末尾のオプションを，f のオプションとしてではなく位置引数として扱う：

規則b1は位置引数として扱われる：

デフォルトの"OptionsMode""Longest"では，未知のオプションに対してメッセージが出される：

"OptionsMode""Shortest"のとき，既知のオプションは常に f のオプションとして扱われる：

すべての要素を f のオプションではなく位置引数として扱う：

引数を評価せずに分離する：

1つまたは2つの位置引数で呼ばれた場合にヘルパー関数を呼び出す関数を定義する：

1つまたは2つの位置引数で呼ばれると，ヘルパー関数が呼び出される：

3つ以上の位置引数で呼ばれると，fは未評価で返され，メッセージが出される：

"OptionsMode""Shortest"を使って末尾の空リストを位置引数として扱うようにする：

ArgumentsOptions[f[…],…]はメッセージを出し， f の不正な入力に対してはFailure を返す：

f がオプションを取らない場合は，すべての引数が位置引数であると仮定される：

オプションは，入力式の中でどのように現れるかとは無関係に，常に平らなリストとして返される：

ArgumentsOptions[…,{min,max}]は，常に最初の min 個の引数を位置引数として扱う：

a0は，以下では OptionsPattern[]と一致するにもかかわらず，位置引数として扱われている：

規則 a0は，位置引数の後ろで与えられた場合はオプションとして扱われる：

オプションを集めるときは末尾のオプションだけが考慮される：

OptionsPattern[]と一致する末尾の規則は，f の既知のオプションである場合はオプションとして扱われる：

たとえ"OptionsMode""Shortest"が与えられていても上記は真である：

既知と未知両方のオプションを含むオプション指定をするとメッセージが出る：

"OptionsMode""Shortest"では，既知と未知のオプションを含むリストが，可能な場合は位置引数として扱われる：

位置引数の上限を超える未知のオプションでも，常にメッセージが生成される：

OptionsPattern[]と一致する規則だけが有効なオプション指定である：

規則12はOptionsPattern[]とは一致しない：

したがって，これは位置引数として扱われる：

12は，位置引数の後で与えられた場合は無効なオプション指定として扱われる：

CheckArgumentsがFalseを返す場合は，ArgumentsOptionsはFailure[…]返す：

f がオプションを取る場合は，{}がOptionsPattern[]と一致するので末尾の空リストはデフォルトで無視される：

"OptionsMode""Shortest"を使って末尾の空リストが位置引数として扱われるようにする：

最小引数の位置あるいはその前にある引数はすべて，位置引数であるとみなされる：

ArgumentsOptionsは，オプション値が正しいかどうかのチェックはしない：

InfinityはHeadsの有効な値ではない：