mutable sn: nobjs;
}
-type pointer = int list
+type step = One of int
+ | Many of int list
+
+type pointer = step list
type error = EWrongExt of string
| EStage of stage
exception Error of error
-type each = string -> string -> bool -> string -> string -> unit
+type each = string -> string -> bool -> string -> string -> string -> unit