Function malk_core::substitute
[−]
[src]
pub fn substitute(term: &Term, sub: &Term, index: usize) -> Term
substitute sub
for the variable at index
.