sig
type
(
'
good,
'
bad) t =
Ok
of
'
good
|
Error
of
'
bad
end