Seq_e (mavkit-libs.Traced_sigs.Seq

module type S =
  Bare_sigs.Seq_e.S
    with type ('a, 'e) node = ('a, 'e) Bare_structs.Seq_e.node
     and type ('a, 'e) t = ('a, 'e) Bare_structs.Seq_e.t

The S signature is similar to Seq.S except that suspended nodes are wrapped in a result.