sig
type
'
a t =
U
of
'
a
|
X
of
exn
end