Home | Trees | Indices | Help |
|
---|
|
|
|||
Term | |||
Rule | |||
Goal |
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|||
|
|
|||
rules =
|
|||
trace = 0
|
|||
indent =
|
|||
infixOps =
|
|||
operators = {'+': add, '--': sub, '*': mul, '<': lt}
|
|
update dest env from src. return true if unification succeeds |
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0.1 on Wed Aug 19 16:47:02 2009 | http://epydoc.sourceforge.net |