[MLton-user] Does GC always trigger MLtonFinalizable?

[Wesley W. Terpstra]

The wiki page
     http://mlton.org/MLtonFinalizable
implies that invoking MLton.GC.collect () will ensure that finalizers  
will be run.

Can I depend on this behaviour?

I would like database queries to be garbage collected. However,  
before closing the database, all the queries must be freed on the C- 
side. Is calling MLton.GC.collect before calling the C close method  
going to work?