apply_subst_predicate

ipfrs_tensorlogic::reasoning

Function apply_subst_predicate 

Source 
pub fn apply_subst_predicate(
    pred: &Predicate,
    subst: &Substitution,
) -> Predicate
Expand description

Apply substitution to a predicate