sig val traverse : 'a -> 'b -> (Obj.t -> 'b -> 'b) -> int * 'b val words : 'a -> int val bytes : 'a -> int val kbytes : 'a -> int end