Sourceval pop : 'a t -> ('a * 'a t) option Sourceval eject : 'a t -> ('a t * 'a) option Sourceval b3 : 'a -> 'a -> 'a -> 'a t Sourceval to_list : 'a t -> 'a list Sourceval pop2 : 'a t -> (('a * 'a) * 'a t) option Sourceval eject2 : 'a t -> (('a t * 'a) * 'a) option Sourceval eject3 : 'a t -> ((('a t * 'a) * 'a) * 'a) option Sourceval fold_right : ('x -> 'z -> 'z) -> 'z -> 'x t -> 'z Sourceval fold_left : ('z -> 'x -> 'z) -> 'x t -> 'z -> 'z