sml: improve resolver documentation