22 term * (term * term) list -> (Rule.errpatID * term list * 'a list) list * Rule.rls -> Rule.errpatID option |
22 term * (term * term) list -> (Rule.errpatID * term list * 'a list) list * Rule.rls -> Rule.errpatID option |
23 val cas_input : term -> (Ctree.ctree * Ctree.ocalhd) option |
23 val cas_input : term -> (Ctree.ctree * Ctree.ocalhd) option |
24 |
24 |
25 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
25 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *) |
26 (* NONE *) |
26 (* NONE *) |
27 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\*) |
27 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* ) |
28 val dropwhile' : ('a -> 'b -> bool) -> 'a list -> 'b list -> 'a list * 'b list |
28 val dropwhile' : ('a -> 'b -> bool) -> 'a list -> 'b list -> 'a list * 'b list |
29 val rev_deriv' : 'a * Rule.rule * ('b * 'c) -> 'b * Rule.rule * ('a * 'c) |
29 val rev_deriv' : 'a * Rule.rule * ('b * 'c) -> 'b * Rule.rule * ('a * 'c) |
30 val check_err_patt : term * term -> Rule.subst -> Rule.errpatID * term -> Rule.rls -> Rule.errpatID option |
30 val check_err_patt : term * term -> Rule.subst -> Rule.errpatID * term -> Rule.rls -> Rule.errpatID option |
31 val get_fillform : |
31 val get_fillform : |
32 'a * (term * term) list -> 'b * term -> Rule.errpatID -> Celem.fillpat -> (Celem.fillpatID * term * 'b * 'a) option |
32 'a * (term * term) list -> 'b * term -> Rule.errpatID -> Celem.fillpat -> (Celem.fillpatID * term * 'b * 'a) option |
33 val get_fillpats : |
33 val get_fillpats : |
34 'a * (term * term) list -> term -> Rule.errpatID -> thm -> (Celem.fillpatID * term * thm * 'a) list |
34 'a * (term * term) list -> term -> Rule.errpatID -> thm -> (Celem.fillpatID * term * thm * 'a) list |
35 (*\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
35 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*) |
36 |
36 |
37 (*----- unused code, kept as hints to design ideas ---------------------------------------------*) |
37 (*----- unused code, kept as hints to design ideas ---------------------------------------------*) |
38 val e_icalhd : icalhd |
38 val e_icalhd : icalhd |
39 val oris2itms : 'a -> ''b list -> ('c * ''b * 'd * term * term list) list -> |
39 val oris2itms : 'a -> ''b list -> ('c * ''b * 'd * term * term list) list -> |
40 ('c * ''b * bool * 'd * Model.itm_) list |
40 ('c * ''b * bool * 'd * Model.itm_) list |