sig
type
(
'
f,
'
s) _either =
(
'
f,
'
s)
Either_intf
.
S
.t =
First
of
'
f
|
Second
of
'
s
end