<link title="JHigh2Low" rel="Chapter" href="JHigh2Low.html">
<link title="JFile" rel="Chapter" href="JFile.html">
<link title="JManifest" rel="Chapter" href="JManifest.html">
<link title="Javalib" rel="Chapter" href="Javalib.html">
<link title="Ptmap" rel="Chapter" href="Ptmap.html">
<link title="Ptset" rel="Chapter" href="Ptset.html"><title>Javalib : JDumpJasmin</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span>&nbsp;<span class="keyword">val</span>&nbsp;dump&nbsp;:&nbsp;<span class