Module value

Expand description

Runtime values (a subset of syntactic_value).

Structs§

BaseEnv: The compile-time environment: the flat name -> value table of primitives and base constants that crate::compile folds unshadowed references against, and whose BaseEnv::names seed the elaborator’s scope.
DocumentValue: The final result of evaluating a document.
Env: The runtime environment: a chain of positional frames.
MathVariantStyle: math-variant-char’s 9-field per-style codepoint record (math.satyh’s greek-lowercase/greek-uppercase build one per Greek letter). Field order/names mirror the record literal math.satyh constructs.
TextInfo: text-info (v0.0.6 BCTextModeContext carrying TextBackend.text_mode_context, src/text-mode/textBackend.ml:1-5). PDF-port sliver: upstream’s second field, escape_list, is omitted — no v0.0.6 primitive can set it (TextBackend.set_escape_list has no vminst.ml caller), so it is invariantly [] upstream. indent is invariantly >= 0 (deepen_indent clamps the increment).

Math: One atom of a faithful math value (Value::Math‘s element type) — trimmed mirror of upstream math (types.cppo.ml:1024). Every closure-typed field upstream carries (kern functions, a paren pair’s sizing closures, math-pull-in-scripts’ resolver, text-in-math’s embedded-box callback) is stored here OPAQUELY as a plain Value — constructing one of these variants never calls such a closure, exactly like upstream, where a math value is inert data until the real layout engine walks it.
MathElement: The base-atom payload of Math::Pure — mirrors upstream math_element_main (types.cppo.ml:1009), flattened (the math-class lives directly on each variant here, rather than in a separate wrapping MathElement(kind, math_char_main) layer) since nothing else needs the undecorated math_char_main on its own.
Value