sig
  type 'a sl
  val empty : 'a It_type.IT.Sl.sl
  val destr_head :
    'a It_type.IT.Sl.sl ->
    ('a It_type.IT.stream * 'a It_type.IT.Sl.sl) option
  val cons :
    'a It_type.IT.stream -> 'a It_type.IT.Sl.sl -> 'a It_type.IT.Sl.sl
  val get_one_opt : 'a It_type.IT.Sl.sl -> 'a It_type.IT.stream option
  val one : 'a It_type.IT.stream -> 'a It_type.IT.Sl.sl
  val dbgsl : 'a It_type.IT.Sl.sl -> string
end