let
extract_fundef_name sname =
match
sname
with
|
_spec, (the_name, _, _, _)
->
the_name