sig   type 'a t = 'Rel.seq   val empty : 'Rel.seq   val is_empty : 'Rel.seq -> bool   val head : 'Rel.seq -> 'a option   val get_head : 'Rel.seq -> 'a   val tail : 'Rel.seq -> 'Rel.seq   val to_list : ?limit:int -> 'Rel.seq -> 'a list end