Gabriel,
> | Val_table of (value, value) Hashtbl.t
It took me two days to understand that this actually solved the problem
because it fulfils type erasure and induction on dimension, just like
functions.
Actually, that's the type of a reified curried function value -> value ->
value -> ... -> value
Diego Olivier
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
