Predicate signature Make0::InputSig1::propagatesValue

Holds if the value of child is propagated to parent. For example, the right-hand side of short-circuiting expressions.

This predicate is only relevant for AST constructs that are not already handled by this library.