pub fn predicate_variable_kinds(
rules: &[Rule],
) -> Result<HashMap<(String, usize), Vec<VariableKind>>, String>Expand description
Variable kinds that preserve complete candidate tuples in generated rules. Generic positions use text variables so record-shaped values are not required.