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