module type Shredded_Cell_Type = sig .. end
sig
end
type t
type encoded_type = char array
char array
val encode : t -> encoded_type
t -> encoded_type
val decode : encoded_type -> t
encoded_type -> t
val in_same_cell : t -> t -> int -> bool
t -> t -> int -> bool