Sakura/lib/prelude/domains.ml, branch rnt-integration

Sakura/lib/prelude/domains.ml, branch rnt-integration further deletions on drl and prelude 2026-09-26T18:35:39+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-09-26T18:35:39+00:00 b555c28c7e6c315fc0394baf213ecb08b21ed959

Format 2026-06-24T02:53:26+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-06-24T02:53:26+00:00 c284fcd570342c31bc21169960579a20a763e32e

RNT interface 2026-05-18T15:35:26+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-05-18T15:35:26+00:00 cf0fffed43d0ca7618cd0013411151e057b7a32a Co-authored-by: Estevan Castilho <tevo@riajuu.net>

Co-authored-by: Estevan Castilho <tevo@riajuu.net>

Multigroup unified reference for hierarchical access 2026-05-12T02:10:27+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-05-12T02:10:27+00:00 e3d3e20dfea253de291d5b31059cd55c0eaabf02

format 2026-04-03T19:17:38+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-04-03T19:17:38+00:00 63ae3c930de89af6f85229a467caa3f53cb844a2

constraints 2026-03-08T04:12:02+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-03-08T04:12:02+00:00 99ac1e7d9b77d69f2a85a108468d4433953d8269

domains 2026-03-07T15:19:12+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-03-07T15:19:12+00:00 0e2e04e2545b53254c5cb8e031cacd212e7a427d