40 (** prepare MethodC for Store **) |
40 (** prepare MethodC for Store **) |
41 |
41 |
42 (* a subset of MethodC.T record's fields *) |
42 (* a subset of MethodC.T record's fields *) |
43 type input = |
43 type input = |
44 {calc: Rule_Def.calc list, crls: Rule_Set.T, errpats: Error_Pattern_Def.T list, nrls: Rule_Set.T, |
44 {calc: Rule_Def.calc list, crls: Rule_Set.T, errpats: Error_Pattern_Def.T list, nrls: Rule_Set.T, |
45 prls: Rule_Set.T, rew_ord': Rewrite_Ord.rew_ord', rls': Rule_Set.T, srls: Rule_Set.T} |
45 prls: Rule_Set.T, rew_ord': Rewrite_Ord.id, rls': Rule_Set.T, srls: Rule_Set.T} |
46 |
46 |
47 fun prep_input thy guh (mathauthors: string list) (init: References_Def.id) |
47 fun prep_input thy guh (mathauthors: string list) (init: References_Def.id) |
48 (metID, ppc, |
48 (metID, ppc, |
49 {rew_ord' = ro, rls' = rls, srls = srls, prls = prls, calc = _(*scr_isa_fns*), crls = cr, |
49 {rew_ord' = ro, rls' = rls, srls = srls, prls = prls, calc = _(*scr_isa_fns*), crls = cr, |
50 errpats = ep, nrls = nr}, scr) = |
50 errpats = ep, nrls = nr}, scr) = |