pub fn reversible_builtin(b: BuiltinId) -> boolExpand description
Whether a builtin is PURE — a deterministic function of its arguments, reversible by restoring the destination and the cleared argument registers. Excludes the wire-subsystem builtins, which touch external sinks or run shipped code (effects the store snapshot cannot reverse).