uiutils.ml  | 17 +++++++++++++++++
 uiutils.mli | 42 ++++++++++++++++++++----------------------
 2 files changed, 37 insertions(+), 22 deletions(-)