nsplit : ('a -> 'b * 'a) -> 'c list -> 'a -> 'b list * 'a

SYNOPSIS
Applies a destructor in right-associative mode a specified number of times.

DESCRIPTION
If d is an inverse to a binary constructor f, then 
  nsplit d l (f(x1,f(x2,...f(xn,y))))
where the list l has length k, returns 
  ([x1;...;xk],f(x(k+1),...f(xn,y))

FAILURE CONDITIONS
Never fails.

EXAMPLE
  # nsplit dest_conj [1;2;3] `a /\ b /\ c /\ d /\ e /\ f`;;
  val it : term list * term = ([`a`; `b`; `c`], `d /\ e /\ f`)

SEE ALSO
splitlist, rev_splitlist, striplist.