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 -> 'a list) -> 'b list -> 'a list
val filter_map : 'a list -> ('b -> 'a option) -> 'b list -> 'a list
val option_value : default:'a -> 'a option -> 'a