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