striplist : ('a -> 'a * 'a) -> 'a -> 'a list
- SYNOPSIS
-
Applies a binary destructor repeatedly, flattening the construction tree into a
list.
- DESCRIPTION
-
If a destructor function d inverts a binary constructor f, for example
dest_comb for mk_comb, and fails when applied to components xi, then
when applied to any object built up repeatedly by f applied to base values
xi returns the list [x1;...;xn].
- FAILURE CONDITIONS
-
Never fails.
- EXAMPLE
-
# striplist dest_conj `(a /\ (b /\ ((c /\ d) /\ e)) /\ f) /\ g`;;
val it : term list = [`a`; `b`; `c`; `d`; `e`; `f`; `g`]
- SEE ALSO
-
nsplit, splitlist, rev_splitlist, end_itlist.