Module term_search

Module term_search 

Source
Expand description

Term search

Modulesยง

expr ๐Ÿ”’
Type tree for term search
tactics ๐Ÿ”’
Tactics for term search

Structsยง

LookupTable ๐Ÿ”’
Lookup table for term search
TermSearchConfig
Configuration options for the term search
TermSearchCtx
Context for the term_search function

Enumsยง

AlternativeExprs ๐Ÿ”’
Helper enum to squash big number of alternative trees into Many variant as there is too many to take into account.
Expr
Type tree shows how can we get from set of types to some type.
NewTypesKey ๐Ÿ”’
Key for lookup table to query new types reached.

Functionsยง

term_search
Term search