Module builtins 

Pure stdlib builtins — string, numeric, list, option, result, json ops dispatched via the same EffectHandler interface as effects, but without policy gates (they have no observable side effects).

Functions

is_pure_module

kind is one of the known pure module aliases — used by the policy walk to skip pure builtins that programs reference via imports.

try_pure_builtin

Returns Some(…) if (kind, op) names a known pure builtin. None means “not handled here; fall through to effect dispatch”.