Type signature UniversalFlowInput::FlowNode

A node for which certain data flow properties may be proved. For example, expressions and method declarations.