module Cf_exnopt: sig .. end
sig
end
A utility type representing the sum of a parameter and an exception.
type 'a t =
'a
|
U of 'a
X of exn
exn