sig
  type 'a t constraint 'a = '-> 'c
  type 'a elem = 'LineShtream.elem
  type initial = LineShtream.initial
  type 'a shtream = 'LineShtream.t
  type 'a coshtream = 'LineShtream.co_t
  type procref = Channel.procref
  type text = initial elem
  val ( -| ) : ('-> 'b) t -> ('-> 'c) t -> ('-> 'c) t
  val pipe : ('-> 'm) t -> ('-> 'o) t -> ('-> 'o) t
  val from_file : string -> ('-> text) t
  val from_null : ('-> text) t
  val from_gen : Channel.dup_in_source -> ('-> text) t
  val from_shtream : 'o shtream -> ('-> 'o) t
  val to_file : ?clobber:Channel.clobber_spec -> string -> ('i elem -> 'o) t
  val to_null : ('i elem -> 'o) t
  val to_stderr : ('i elem -> 'o) t
  val to_gen : Channel.dup_out_source -> ('i elem -> 'o) t
  val to_coshtream : 'i coshtream -> ('-> 'o) t
  val command : string -> ('i elem -> text) t
  val program :
    ?path:bool ->
    string -> ?argv0:string -> string list -> ('i elem -> text) t
  val thunk : (unit -> unit) -> ('i elem -> text) t
  val sed : ('-> 'o) -> ('-> 'o) t
  val grep : ('-> bool) -> ('-> 'i) t
  val trans : ('i shtream -> 'o shtream) -> ('-> 'o) t
  val sed_string : (string -> 'o) -> ('i elem -> 'o) t
  val grep_string : (string -> bool) -> ('i elem -> 'i elem) t
  val ( /</ ) : (text -> 'o) t -> Channel.dup_spec -> (text -> 'o) t
  val redirect_in : Channel.dup_spec -> (text -> 'o) t -> (text -> 'o) t
  val ( />/ ) : ('-> 'o elem) t -> Channel.dup_spec -> ('-> 'o elem) t
  val redirect_out :
    Channel.dup_spec -> ('-> 'o elem) t -> ('-> 'o elem) t
  val ( ^>>= ) :
    ('-> 'o) t -> (Proc.status -> ('-> 'o) t) -> ('-> 'o) t
  val seq : ('-> 'o) t -> (Proc.status -> ('-> 'o) t) -> ('-> 'o) t
  val ( ^>> ) : ('-> 'o) t -> ('-> 'o) t -> ('-> 'o) t
  val ( &&^ ) : ('-> 'o) t -> ('-> 'o) t -> ('-> 'o) t
  val ( ||^ ) : ('-> 'o) t -> ('-> 'o) t -> ('-> 'o) t
  val ( ~>> ) : ('-> 'o) t list -> ('-> 'o) t
  val ( ~&& ) : ('-> 'o) t list -> ('-> 'o) t
  val ( ~|| ) : ('-> 'o) t list -> ('-> 'o) t
  val commands : string list -> (text -> text) t
  val yield : Proc.status -> ('-> 'o) t
  val caml : (unit -> ('-> 'o) t) -> ('-> 'o) t
  val ( ^&= ) :
    (text -> 'b elem) t -> (Proc.t -> ('-> 'o) t) -> ('-> 'o) t
  val par : (text -> 'b elem) t -> (Proc.t -> ('-> 'o) t) -> ('-> 'o) t
  val ( ^& ) : (text -> 'b elem) t -> ('-> 'o) t -> ('-> 'o) t
  val run_source : (text -> 'o) t -> 'o shtream
  val run_sink : ('-> 'o elem) t -> 'i coshtream
  val run_list : (text -> 'o) t -> 'o list
  val run_shtream : ('-> 'o) t -> 'i shtream -> 'o shtream
  val run_in : ?procref:procref -> (text -> 'o elem) t -> in_channel
  val run_out : ?procref:procref -> (text -> 'o elem) t -> out_channel
  val run_backquote : ?procref:procref -> (text -> 'o elem) t -> string
  val run_bg : (text -> 'o elem) t -> Proc.t
  val run : (text -> 'o elem) t -> Proc.status
  val string_of_elem : 'a elem -> string
  val elem_of_string : string -> text
  val int_of_elem : 'a elem -> int
  val elem_of_int : int -> text
  val char_of_elem : 'a elem -> char
  val elem_of_char : char -> text
  val float_of_elem : 'a elem -> float
  val elem_of_float : float -> text
  val bool_of_elem : 'a elem -> bool
  val elem_of_bool : bool -> text
  module Make :
    functor (Shtream : AnyShtream.S->
      sig
        type 'a t constraint 'a = '-> 'c
        type 'a elem = 'Shtream.elem
        type initial = Shtream.initial
        type 'a shtream = 'Shtream.t
        type 'a coshtream = 'Shtream.co_t
        type procref = Channel.procref
        type text = initial elem
        val ( -| ) : ('-> 'b) t -> ('-> 'c) t -> ('-> 'c) t
        val pipe : ('-> 'm) t -> ('-> 'o) t -> ('-> 'o) t
        val from_file : string -> ('-> text) t
        val from_null : ('-> text) t
        val from_gen : Channel.dup_in_source -> ('-> text) t
        val from_shtream : 'o shtream -> ('-> 'o) t
        val to_file :
          ?clobber:Channel.clobber_spec -> string -> ('i elem -> 'o) t
        val to_null : ('i elem -> 'o) t
        val to_stderr : ('i elem -> 'o) t
        val to_gen : Channel.dup_out_source -> ('i elem -> 'o) t
        val to_coshtream : 'i coshtream -> ('-> 'o) t
        val command : string -> ('i elem -> text) t
        val program :
          ?path:bool ->
          string -> ?argv0:string -> string list -> ('i elem -> text) t
        val thunk : (unit -> unit) -> ('i elem -> text) t
        val sed : ('-> 'o) -> ('-> 'o) t
        val grep : ('-> bool) -> ('-> 'i) t
        val trans : ('i shtream -> 'o shtream) -> ('-> 'o) t
        val sed_string : (string -> 'o) -> ('i elem -> 'o) t
        val grep_string : (string -> bool) -> ('i elem -> 'i elem) t
        val ( /</ ) : (text -> 'o) t -> Channel.dup_spec -> (text -> 'o) t
        val redirect_in :
          Channel.dup_spec -> (text -> 'o) t -> (text -> 'o) t
        val ( />/ ) :
          ('-> 'o elem) t -> Channel.dup_spec -> ('-> 'o elem) t
        val redirect_out :
          Channel.dup_spec -> ('-> 'o elem) t -> ('-> 'o elem) t
        val ( ^>>= ) :
          ('-> 'o) t -> (Proc.status -> ('-> 'o) t) -> ('-> 'o) t
        val seq :
          ('-> 'o) t -> (Proc.status -> ('-> 'o) t) -> ('-> 'o) t
        val ( ^>> ) : ('-> 'o) t -> ('-> 'o) t -> ('-> 'o) t
        val ( &&^ ) : ('-> 'o) t -> ('-> 'o) t -> ('-> 'o) t
        val ( ||^ ) : ('-> 'o) t -> ('-> 'o) t -> ('-> 'o) t
        val ( ~>> ) : ('-> 'o) t list -> ('-> 'o) t
        val ( ~&& ) : ('-> 'o) t list -> ('-> 'o) t
        val ( ~|| ) : ('-> 'o) t list -> ('-> 'o) t
        val commands : string list -> (text -> text) t
        val yield : Proc.status -> ('-> 'o) t
        val caml : (unit -> ('-> 'o) t) -> ('-> 'o) t
        val ( ^&= ) :
          (text -> 'b elem) t -> (Proc.t -> ('-> 'o) t) -> ('-> 'o) t
        val par :
          (text -> 'b elem) t -> (Proc.t -> ('-> 'o) t) -> ('-> 'o) t
        val ( ^& ) : (text -> 'b elem) t -> ('-> 'o) t -> ('-> 'o) t
        val run_source : (text -> 'o) t -> 'o shtream
        val run_sink : ('-> 'o elem) t -> 'i coshtream
        val run_list : (text -> 'o) t -> 'o list
        val run_shtream : ('-> 'o) t -> 'i shtream -> 'o shtream
        val run_in : ?procref:procref -> (text -> 'o elem) t -> in_channel
        val run_out : ?procref:procref -> (text -> 'o elem) t -> out_channel
        val run_backquote : ?procref:procref -> (text -> 'o elem) t -> string
        val run_bg : (text -> 'o elem) t -> Proc.t
        val run : (text -> 'o elem) t -> Proc.status
        val string_of_elem : 'a elem -> string
        val elem_of_string : string -> text
        val int_of_elem : 'a elem -> int
        val elem_of_int : int -> text
        val char_of_elem : 'a elem -> char
        val elem_of_char : char -> text
        val float_of_elem : 'a elem -> float
        val elem_of_float : float -> text
        val bool_of_elem : 'a elem -> bool
        val elem_of_bool : bool -> text
      end
end