関数型言語ML (SML, OCaml, etc.), Part 6

実際の問題を簡単にした問題例です。

流れ：
キャラクタがバイトをして財布がいっぱいになったら銀行へ行く
ということを目標金額まで繰り返し、到達したらその金がなくなるまで
家でごろ寝し、なくなったらまた働く

キャラクタは
　　・バイトをする　：　手持ちが１増える
　　・銀行で貯金をする　：　手持ちを０にし、貯金が１増える
　　・家で寝る　：　貯金が１減る
の状態を取ります。
財布の許容量は３、目標貯金額は５とします。

Ocaml的な解決方法のアドバイスをいただけると幸いです。

ちなみに元々の問題は「実例で学ぶゲームAIプログラミング」
という本の２章に出てくる、上記の問題例にいくつか余分な状態を
追加したようなものです。
元々の問題をとりあえず実装してみたソースとサンプルソースも
あげてみました。
http://www1.axfc.net/uploader/Sc/so/9827.lzh