Kaba package kabama.subst ed
Classes ed
- struct Matching
- struct MatchingTerm
Functions 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]