pub fn inline_constant_variables<A: Clone + Eq + Hash + Debug + Display>(
paths: &mut [LogicPath<A>],
arena: &mut SLTNodeArena<A>,
) -> Result<bool, SLTNodeFactsError>Expand description
Inline constant variables: rewrite Input references → Constant nodes.
Returns true if any rewriting was performed.