<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/concepts/BranchState.mli, branch session</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>Tidy up</title>
<updated>2026-08-23T03:06:58+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-22T17:55:26+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=db968eccee931abc8ad00d74d152625a2ab3174e'/>
<id>db968eccee931abc8ad00d74d152625a2ab3174e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Initialization with Branch State and Index</title>
<updated>2026-08-23T03:06:51+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-08-01T17:22:05+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=ab360c794849300792b2dc5c9ff6354621040e2f'/>
<id>ab360c794849300792b2dc5c9ff6354621040e2f</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
