Expand description

Trie construction.

Structs

An edge in our term trie.

Enums

A node in the term trie.

One “input symbol” for the decision tree that handles matching on a term. Each symbol represents one step: we either run a match op, or we finish the match.

Functions

Construct the tries for each term.

Type Definitions

A priority.