(* functions to be moved ****************************************************)
-val list_map2_filter: ('a -> 'b -> 'c option) -> 'a list -> 'b list -> 'c list
+val list_rev_map2: ('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
-val list_split: int -> 'a list -> 'a list * 'a list
+val list_map2_filter: ('a -> 'b -> 'c option) -> 'a list -> 'b list -> 'c list
val mk_arel: int -> string -> Cic.annterm
-val is_atomic:Cic.annterm -> bool
-
(****************************************************************************)
type name = string
| Cut of name * what * note
| LetIn of name * what * note
| Rewrite of how * what * where * pattern * note
- | Elim of what * using option * note
+ | Elim of what * using option * pattern * note
| Apply of what * note
| Change of inferred * what * where * pattern * note
| ClearBody of name * note