SOL/lib/label.ml, branch master canonical term algebra: labels, records, rationals, sequences 2026-07-11T05:52:25+00:00 Marcos Magueta maguetamarcos@gmail.com 2026-07-11T05:52:25+00:00 f7aa2d28053979f33d90a3c7bdec1ff6daa49b94