Documented UDBM_utilities.ml .