sig val raise_error : string -> 'end