docs menu

Module Ptree.Skeleton

Skeletons of values.

#type t

The type for a value's skeleton: its visits.

#val equal : t -> t -> bool

equal k k' is true iff k and k' have equal visits, their paths compared by Path.equal.

#val hash : t -> int

hash k hashes k: equal skeletons hash equal.

#val diff : this:string -> t -> that:string -> t -> string option

diff ~this k ~that k' is None iff equal k k', and otherwise the message of Maps and folds for their first differing visit, this and that placing each side: with ~this:"here" and ~that:"in the previous key", "window: int 8 here, int 4 in the previous key".