I was playing with the Stack module:

# let s = Stack.create ();;
val s : '_a Stack.t = <abstr>
# Stack.push 5 s;;
- : unit = ()
# s;;
- : int Stack.t = <abstr>
# Stack.pop s;;
- : int = 5
# s;;
- : int Stack.t = <abstr>

After pushing / popping an element, s has changed type. Is this
explained anywhere in the manual, as well as the syntax '_a ?

Rich.

-- 
Richard Jones, Red Hat Inc. (London) and Merjis Ltd. http://www.merjis.com/
http://www.annexia.org/ Freshmeat projects: http://freshmeat.net/users/rwmj
PTHRLIB is a library for writing small, efficient and fast servers in C.
HTTP, CGI, DBI, lightweight threads: http://www.annexia.org/freeware/pthrlib/