sig
type
(
'
a,
'
b) t =
A
of
'
a
|
B
of
'
b
end