* http://cs.unibo.it/helm/.
*)
+(* $Id$ *)
+
module DiscriminationTreeIndexing =
functor (A:Set.S) ->
struct
| pos -> List.fold_right (fun i r -> if r = [] then [i+1] else i::r) pos []
in
try
- let t = subterm_at_pos pos' term in pos'
+ ignore(subterm_at_pos pos' term ); pos'
with Not_found ->
let pos, _ =
List.fold_right