Kaba package kabama.subst ed

Classes ed

func static rule_match(t: shared![Term], m: shared![Term], out mm: Matching) -> bool
func static subst(_t: shared![Term], pattern: shared![Term], substitution: shared![Term], max_recursion: i32) -> shared![Term]
func static subst_variable(_t: shared![Term], _var: string, by: shared![Term]) -> shared![Term]