is_ptree : term -> bool
STRUCTURE
patriciaLib
SYNOPSIS
Term recogniser for Patricia trees.
DESCRIPTION
The destructor is_ptree will return true if, and only if, the supplied term is a well-constructed, ground Patricia tree.
EXAMPLE
- is_ptree ``t:unit ptree``;
val it = false: bool

- is_ptree ``Branch 1 2 (Leaf 2 2) (Leaf 3 3)``;
val it = false: bool

- is_ptree ``Branch 0 0 (Leaf 1 1) (Leaf 2 2)``;
val it = true: bool
SEEALSO
mk_ptree, dest_ptree
HOL  Kananaskis-14