let
caddr (l :
'
a list) :
'
a =
match
l
with
(_::_::x::_)
->
x
|
_
->
failwith
"empty list"