Hello all,

I have posted a question on Caml-beginners, but have not got response so far... guess maybe you could here...

I have defined "type AT = A AtomMap.t". Do you know how to build a function "f: AT -> (atom * A) list" which returns a list of all the elements in a map?

I am trying to combine AtomMap.fold, AtomMap.Iter (in this manual http://cristal.inria.fr/~fpottier/alphaCaml/alphaCaml.pdf) to do so... But it seems that unlike List.folder_left, AtomMap.fold does not accept list as argument: val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b, there it is not convenient to build a list progressively here...

Thanks and regards

Tie