plg_runtime/builtins/mod.rs
1//! The builtin layer: arithmetic evaluation (`arith`), standard term
2//! order (`order`), and the C-ABI predicate surface (`pred`) that compiled
3//! code calls into for `is/2`, arithmetic/term comparison, `\=/2`,
4//! `compare/3`, cut, and codegen helpers.
5//!
6//! The M4 deterministic builtins live in their own family modules:
7//! `typecheck` (var/atom/number/... type tests), `termops` (functor/arg/
8//! `=..`/copy_term), `atomops` (atom_length/concat/chars, number_chars/
9//! codes), `sortops` (msort/sort), and `miscops` (succ/plus/
10//! unify_with_occurs_check/write/writeln/nl).
11//!
12//! Semantics and error-message text are pinned by the per-module tests.
13
14pub mod arith;
15pub mod atomops;
16pub mod facts;
17pub mod miscops;
18pub mod order;
19pub mod pred;
20pub mod sortops;
21pub mod termops;
22pub mod typecheck;