single : 'a -> 'a list
STRUCTURE
SYNOPSIS
Turns a value into a single-element list.
DESCRIPTION
single x returns [x].
FAILURE
Never fails.
SEEALSO
HOL  Kananaskis-10