pub fn lower_rule(
    tyenv: &TypeEnv,
    termenv: &TermEnv,
    rule: RuleId
) -> (PatternSequence, ExprSequence)
Expand description

Build a sequence from a rule.