pub fn build(termenv: &TermEnv) -> (Vec<(TermId, RuleSet)>, Vec<Error>)
Expand description

Construct a RuleSet for each term in termenv that has rules.