Contains some (complementing) functions in addition to mo:base/Array.
Checks whether an array contains a given value.
contains : (xs : [T], y : T, equal : (T, T) -> Bool) -> BoolDrops the first 'n' elements of an array, returns the remainder of that array.
drop<T> : (xs : [T], n : Nat) -> [T]Splits an array in two parts, based on the given element index.
split<T> : (xs : [T], n : Nat) -> ([T], [T])Returns the first 'n' elements of an array.
take<T> : (xs : [T], n : Nat) -> [T]