sig
val
default :
'
a
->
'
a option
->
'
a
end