Make.Key
type t
val nearest_common_ancestor : t -> t -> t
Nearest common ancestor between two elements in the tree
val is_prefix : t -> t -> bool
is_prefix a b is true if a an ancestor of b
is_prefix a b
a
b
val equal : t -> t -> bool
val pretty : Stdlib.Format.formatter -> t -> unit