let sfold0 f e _entry _symbl psymb =
let rec fold accu (__strm : _ Stream.t) =
match try Some (psymb __strm)
with | Stream.Failure -> None
with
| Some a -> fold (f a accu) __strm
| _ -> accu
in fun (__strm : _ Stream.t) -> fold e __strm