<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; font-size: 14px; color: rgb(0, 0, 0); "><div style="font-family: Calibri, sans-serif; ">On 4/19/13 2:27 PM, "Matthias Felleisen" <<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>> wrote:</div><blockquote id="MAC_OUTLOOK_ATTRIBUTION_BLOCKQUOTE" style="font-family: Calibri, sans-serif; border-left-color: rgb(181, 196, 223); border-left-width: 5px; border-left-style: solid; padding: 0px 0px 0px 5px; margin: 0px 0px 0px 5px; "><div>  -- our contract system has a really hard time expressions g : $B"O(B t : t -> t.</div></blockquote><div><br></div><div><span style="font-family: Calibri, sans-serif; ">I<span style="background-color: transparent;">'d like to double check my understanding. Is the SML type </span></span><font face="Consolas" style="background-color: transparent;">fn : 'a -> 'a</font></div><div><span style="background-color: transparent;"><font face="Calibri,sans-serif">the same as what you meant by </font><font face="Consolas">g : $B"O(B t : t -> t</font><font face="Calibri,sans-serif">?</font></span></div><div><span style="background-color: transparent;"><font face="Calibri,sans-serif"><br></font></span></div><div><span style="background-color: transparent;"><font face="Calibri,sans-serif">-- Shannon</font></span></div></body></html>