seal5.transform.collect_immediate_operands.visitor

Collect immediate operands from behavior expressions.

Classes

CollectImmediateOperandsVisitor()

Collect immediate operands from behavioral expressions.