Module Odoc_xref2.Utils

module ResultMonad : sig ... end

The result type and a bind operator. This module is meant to be opened.

module OptionMonad : sig ... end

A bind operator for the option type. This module is meant to be opened.

module EitherMonad : sig ... end
val concat_map : 'a list -> ('b -> 'c list) -> 'd list -> 'a list
val filter_map : 'a list -> ('b -> 'c option) -> 'd list -> 'a list
val option_value : default:'a -> 'b option -> 'c