sig
val
raise_error : string
->
'
a
end