tiny smt.mli