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