<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/Tuple.ml, branch constraints</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>appropriate enumeration  for tuple split on object and resident</title>
<updated>2026-09-13T06:19:46+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-13T06:19:46+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa'/>
<id>9b9eab0bb54ed951c56eb6551d9ee470dc5b43aa</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>delete remaining trash</title>
<updated>2026-09-13T05:31:39+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-13T05:31:39+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=327d0d2a47591e02299d4e7360d5b7e03b4962d2'/>
<id>327d0d2a47591e02299d4e7360d5b7e03b4962d2</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>rework on tuple non resident object with schematics as protocol</title>
<updated>2026-09-13T04:50:35+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-13T04:50:35+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=28ddfe4cd64a228bedf4c9068f443643e8496f7e'/>
<id>28ddfe4cd64a228bedf4c9068f443643e8496f7e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
