Kaba function subst.rule_match ed

...

Syntax ed

func static subst.rule_match(t: shared![Term], m: shared![Term], out mm: Matching) -> bool

Parameters ed

t: shared![Term]

...

m: shared![Term]

...

mm: Matching

...

Return ed

...