Function libslide::build_rules

pub fn build_rules(ctxt: &ProgramContext) -> Result<Vec<Rule>, BuildRuleErrors>

Given an evaluator context, builds a set of evaluator rules to be used in partial evaluation.