Closed joy13975 closed 5 years ago
void add_free_terms(NodeKey const node_key, size_t const n_ft_to_add, FreeTerm const* const exclude_ft)
Seems to be no demand for it according to usage.