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