equal
deleted
inserted
replaced
20 mx_ t_ v_v m_ dropWhile (op = e_e) rs_" : cterm |
20 mx_ t_ v_v m_ dropWhile (op = e_e) rs_" : cterm |
21 |
21 |
22 ML> set show_types; |
22 ML> set show_types; |
23 ML> c; |
23 ML> c; |
24 val c = |
24 val c = |
25 "Script1 Maximum_value fix_::bool list m_::real rs_::bool list v_v::real itv_::real set err_::bool = |
25 "Script1 Maximum_value fix_::bool list m_::real rs_::bool list v_v::real itv_v::real set err_::bool = |
26 let e_e::bool = (hd o filter (Testvar m_)) rs_; |
26 let e_e::bool = (hd o filter (Testvar m_)) rs_; |
27 t_::real = |
27 t_::real = |
28 if (#1::real) < Length rs_ |
28 if (#1::real) < Length rs_ |
29 then make_fun (R::ID, [make::ID, function::ID], no_met::ID) m_ v_v rs_ |
29 then make_fun (R::ID, [make::ID, function::ID], no_met::ID) m_ v_v rs_ |
30 else (Lhs o hd) rs_; |
30 else (Lhs o hd) rs_; |