Module dialectic_compiler::cfg[−][src]

The control flow graph representation of a session type.

Structs

Cfg

A cfg of CFG nodes acting as a context for a single compilation unit.

CfgNode

A single entry for a node in the CFG.

Enums

Ir

The “kind” of a CFG node. CFG nodes have additional data stored in CfgNode which is always the same types and fields for every node, so we separate into the Ir variant and CfgNode wrapper/entry struct.