On Wed, 3 Sep 2008 19:08:33 +0200, circ ular wrote:
> 
> thanks, the type problem is solved. but is there a way to write nested
> functions? so the powerf isn't exposed outwards...
> 
> and how can I rewrite the if statements in a case or cond way? pattern
> mathcing is only on types right? cond a la scheme would be nice.
> (...)

May I suggest

1. You read http://www.ocaml-tutorial.org/ and at least chap 1-4 of
   http://caml.inria.fr/pub/docs/oreilly-book/html/index.html  That
   will clear up most of your questions.

2. You direct subsequent questions to the beginner's list
   http://groups.yahoo.com/group/ocaml_beginners where you will
   receive proper help for your concerns.

Thanks,
C.