module Either: functor (Config : sig type t end) -> sig .. end
functor (
Config
:
sig
type t
end) -> sig .. end
end
) ->
sig type t end
type 'a t =
'a
|
Left of Config.t
Config.t
Right of 'a
val fmap : ('a -> 'b) -> 'a t -> 'b t
('a -> 'b) -> 'a t -> 'b t