raised when trying to match facts whose names are different. To prevent Not test catching the exception.
Full-text doc search.
defworld.basic — Basic types
defworld.patterns — Patterns
Enter search terms or a module, class or function name.