exporting defined functions
adding .mli