This is a source-to-source translation tool that expands case expressions that use conditional patterns. Conditional patterns that use the "where" keyword are converted into SML.