IFNDEF DEBUG__ML__
THEN
DEFINE DEBUG__ML__

IFDEF DEBUG
THEN
  let msg x = Logger.msg `DEBUG x
  DEFINE DEBUG(e) = (e)
ELSE
  let msg x = ()
  DEFINE DEBUG(e) = ()
END


END (* IFNDEF DEBUG__ML__ *)