sig
val
take :
'
a list
->
'
a
end