document.mli file + basic rendering functions