equal
deleted
inserted
replaced
8 sig |
8 sig |
9 datatype T = datatype Rule_Def.rule_set |
9 datatype T = datatype Rule_Def.rule_set |
10 eqtype id |
10 eqtype id |
11 |
11 |
12 val id: T -> string |
12 val id: T -> string |
13 val rep: T -> {calc: Rule_Def.calc list, erls: T, errpats: Rule_Def.errpatID list, id: string, |
13 val rep: T -> {calc: Rule_Def.eval_ml_from_prog list, erls: T, errpats: Rule_Def.errpatID list, id: string, |
14 preconds: term list, rew_ord: Rewrite_Ord.T, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T} |
14 preconds: term list, rew_ord: Rewrite_Ord.T, rules: Rule_Def.rule list, scr: Rule_Def.program, srls: T} |
15 val to_string: T -> string |
15 val to_string: T -> string |
16 |
16 |
17 val append_rules: string -> T -> Rule_Def.rule list -> T |
17 val append_rules: string -> T -> Rule_Def.rule list -> T |
18 val append_erls_rules: string -> T -> Rule_Def.rule list -> T |
18 val append_erls_rules: string -> T -> Rule_Def.rule list -> T |