----------------------------------------------------------------------
is_ptree                                                 (patriciaLib)
----------------------------------------------------------------------
is_ptree : term -> bool

SYNOPSIS
Term recogniser for Patricia trees.

DESCRIBE
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
patriciaLib.mk_ptree, patriciaLib.dest_ptree.

----------------------------------------------------------------------