diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-05-18 12:35:26 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-05-18 12:35:26 -0300 |
| commit | cf0fffed43d0ca7618cd0013411151e057b7a32a (patch) | |
| tree | 35915aee3f7160b9ff6b41c3c0502b34050f642c /lib/prelude | |
| parent | e3d3e20dfea253de291d5b31059cd55c0eaabf02 (diff) | |
| download | Sakura-cf0fffed43d0ca7618cd0013411151e057b7a32a.tar.gz Sakura-cf0fffed43d0ca7618cd0013411151e057b7a32a.zip | |
RNT interface
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
Diffstat (limited to '')
| -rw-r--r-- | lib/prelude/catalog.ml | 5 | ||||
| -rw-r--r-- | lib/prelude/domains.ml | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/lib/prelude/catalog.ml b/lib/prelude/catalog.ml index c92a89f..01721b2 100644 --- a/lib/prelude/catalog.ml +++ b/lib/prelude/catalog.ml @@ -7,6 +7,11 @@ written to by any executor. They appear to be stubs for trigger/timing metadata that was never implemented. *) +(** Dedicated multigroup hosting the system catalog. The catalog's relation + names keep the [public:] prefix — that prefix is part of the relation name + inside this mg, not a separate namespace. *) +let prelude_mg = "sakura" + let catalog_prefix = "public:" let relation_rel_name = catalog_prefix ^ "relation" let domain_rel_name = catalog_prefix ^ "domain" diff --git a/lib/prelude/domains.ml b/lib/prelude/domains.ml index 022cc6b..9dc9c86 100644 --- a/lib/prelude/domains.ml +++ b/lib/prelude/domains.ml @@ -98,7 +98,7 @@ let rational : Relation.domain = | Some n -> let a, b = cantor_unpair n in let num = nat_to_int a in - (* Map b → non-zero integer: 0→1, 1→-1, 2→2, 3→-2, … *) + (* Map b -> non-zero integer: 0->1, 1->-1, 2->2, 3->-2, … *) let den = if b mod 2 = 0 then (b / 2) + 1 else -((b + 1) / 2) in let attributes = Tuple.AttributeMap.of_list |