Signature documentation tool for Standard ML