equal
deleted
inserted
replaced
11 datatype mout = |
11 datatype mout = |
12 EmptyMout |
12 EmptyMout |
13 | Error' of string |
13 | Error' of string |
14 | FormKF of TermC.as_string |
14 | FormKF of TermC.as_string |
15 | PpcKF of pblmet * P_Model.T |
15 | PpcKF of pblmet * P_Model.T |
16 | RefinedKF of Problem.id * (I_Model.T_POS * Pre_Conds.T) |
16 | RefinedKF of Problem.id * (I_Model.T * Pre_Conds.T) |
17 |
17 |
18 type T = Pos.pos' * Pos.pos' list * mout * Ctree.ctree |
18 type T = Pos.pos' * Pos.pos' list * mout * Ctree.ctree |
19 val mout2str: mout -> string |
19 val mout2str: mout -> string |
20 end |
20 end |
21 |
21 |
48 datatype inout = (*FIXME.WN1105 drop this: was required for proto0 with dialog in sml*) |
48 datatype inout = (*FIXME.WN1105 drop this: was required for proto0 with dialog in sml*) |
49 Error_ of string (*<--*) |
49 Error_ of string (*<--*) |
50 | FormKF of cellID * edit * indent * nest * TermC.as_string (*<--*) |
50 | FormKF of cellID * edit * indent * nest * TermC.as_string (*<--*) |
51 | PpcKF of cellID * edit * indent * nest * (pblmet * P_Model.T) (*<--*) |
51 | PpcKF of cellID * edit * indent * nest * (pblmet * P_Model.T) (*<--*) |
52 | RefineKF of M_Match.T list (*<--*) |
52 | RefineKF of M_Match.T list (*<--*) |
53 | RefinedKF of (Problem.id * ((I_Model.T_POS) * (Pre_Conds.T))) (*<--*) |
53 | RefinedKF of (Problem.id * ((I_Model.T) * (Pre_Conds.T))) (*<--*) |
54 |
54 |
55 datatype mout = |
55 datatype mout = |
56 FormKF of TermC.as_string |
56 FormKF of TermC.as_string |
57 | PpcKF of (pblmet * P_Model.T) |
57 | PpcKF of (pblmet * P_Model.T) |
58 | RefinedKF of Problem.id * (I_Model.T_POS * Pre_Conds.T) |
58 | RefinedKF of Problem.id * (I_Model.T * Pre_Conds.T) |
59 | Error' of string |
59 | Error' of string |
60 | EmptyMout |
60 | EmptyMout |
61 |
61 |
62 fun mout2str (FormKF cterm') = "FormKF " ^ cterm' |
62 fun mout2str (FormKF cterm') = "FormKF " ^ cterm' |
63 | mout2str (PpcKF (pm, itemppc)) = "PpcKF (" ^ pblmet2str pm ^ ", " ^ P_Model.to_string itemppc ^ ")" |
63 | mout2str (PpcKF (pm, itemppc)) = "PpcKF (" ^ pblmet2str pm ^ ", " ^ P_Model.to_string itemppc ^ ")" |