Verify

ZINC_RT IR verifier entrypoints.

Verification stays separate from graph construction so future passes can reject malformed shapes and bindings before any backend executes them.

1 exports 0 methods src/zinc_rt/ir/verify.zig

1 exports shown

function

graph

pub fn graph(ir: *const graph_mod.Graph) !void

Run structural verification over an IR graph.

Thin wrapper around `Graph.verify` so callers depend on this module rather than reaching into the graph type directly; future passes will add shape and type checks here without touching graph construction.

Parameters

ir: Graph to inspect; not mutated.

Returns

Propagates any verification error from `Graph.verify`.

src/zinc_rt/ir/verify.zig:13