<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="OUnit" rel="Chapter" href="OUnit.html"> <link title="OUnit2" rel="Chapter" href="OUnit2.html"> <link title="OUnitThreads" rel="Chapter" href="OUnitThreads.html"> <link title="OUnitUtils" rel="Chapter" href="OUnitUtils.html"> <link title="OUnitPropList" rel="Chapter" href="OUnitPropList.html"> <link title="OUnitPlugin" rel="Chapter" href="OUnitPlugin.html"> <link title="OUnitChooser" rel="Chapter" href="OUnitChooser.html"> <link title="OUnitResultSummary" rel="Chapter" href="OUnitResultSummary.html"> <link title="OUnitLoggerStd" rel="Chapter" href="OUnitLoggerStd.html"> <link title="OUnitLoggerHTML" rel="Chapter" href="OUnitLoggerHTML.html"> <link title="OUnitLoggerHTMLData" rel="Chapter" href="OUnitLoggerHTMLData.html"> <link title="OUnitLoggerJUnit" rel="Chapter" href="OUnitLoggerJUnit.html"> <link title="OUnitAssert" rel="Chapter" href="OUnitAssert.html"> <link title="OUnitBracket" rel="Chapter" href="OUnitBracket.html"> <link title="OUnitTest" rel="Chapter" href="OUnitTest.html"> <link title="OUnitState" rel="Chapter" href="OUnitState.html"> <link title="OUnitRunner" rel="Chapter" href="OUnitRunner.html"> <link title="OUnitRunnerProcesses" rel="Chapter" href="OUnitRunnerProcesses.html"> <link title="OUnitCore" rel="Chapter" href="OUnitCore.html"> <link title="OUnitLogger" rel="Chapter" href="OUnitLogger.html"> <link title="OUnitConf" rel="Chapter" href="OUnitConf.html"> <link title="OUnitShared" rel="Chapter" href="OUnitShared.html"> <link title="OUnitCache" rel="Chapter" href="OUnitCache.html"> <link title="OUnitTestData" rel="Chapter" href="OUnitTestData.html"> <link title="OUnitCheckEnv" rel="Chapter" href="OUnitCheckEnv.html"> <link title="OUnitDiff" rel="Chapter" href="OUnitDiff.html"><title>OUnit user guide : OUnitDiff</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">DIFF_ELEMENT</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> pp_printer : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">DIFF_ELEMENT</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> compare :<br> <span class="constructor">OUnitDiff</span>.<span class="constructor">DIFF_ELEMENT</span>.t <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">DIFF_ELEMENT</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pp_print_sep : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">S</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> e<br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> compare : <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pp_printer : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> pp_diff : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t * <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> assert_equal :<br> ?msg:string <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> of_list : <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.e list <span class="keywordsign">-></span> <span class="constructor">OUnitDiff</span>.<span class="constructor">S</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">SetMake</span> :<br> <span class="keyword">functor</span> (<span class="constructor">D</span> : <span class="constructor">DIFF_ELEMENT</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> e = <span class="constructor">D</span>.t<br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pp_printer : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> pp_diff : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> t * t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> assert_equal : ?msg:string <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> of_list : e list <span class="keywordsign">-></span> t<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ListSimpleMake</span> :<br> <span class="keyword">functor</span> (<span class="constructor">D</span> : <span class="constructor">DIFF_ELEMENT</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> e = <span class="constructor">D</span>.t<br> <span class="keyword">type</span> t = <span class="constructor">D</span>.t list<br> <span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pp_printer : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> pp_diff : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> t * t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> assert_equal : ?msg:string <span class="keywordsign">-></span> t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> of_list : e list <span class="keywordsign">-></span> t<br> <span class="keyword">end</span><br> <span class="keyword">val</span> pp_comma_separator : <span class="constructor">Format</span>.formatter <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span></code></body></html>