pub fn cpp_unify_template_term(
pattern: &CppTemplateTerm,
argument: &CppTemplateTerm,
parameters: &HashSet<&str>,
bindings: &mut HashMap<String, CppTemplateTerm>,
) -> boolpub fn cpp_unify_template_term(
pattern: &CppTemplateTerm,
argument: &CppTemplateTerm,
parameters: &HashSet<&str>,
bindings: &mut HashMap<String, CppTemplateTerm>,
) -> bool