Module Monad.Ident

include module type of struct include Core_kernel.Monad.Ident end
type !'a t = 'a
val (>>=) : 'a t -> ( 'a -> 'b t ) -> 'b t
val (>>|) : 'a t -> ( 'a -> 'b ) -> 'b t
module Monad_infix = Base__Monad.Ident.Monad_infix
val bind : 'a t -> f:( 'a -> 'b t ) -> 'b t
val return : 'a -> 'a t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
val join : 'a t t -> 'a t
val ignore_m : 'a t -> unit t
val all : 'a t list -> 'a list t
val all_unit : unit t list -> unit t
module Let_syntax = Base__Monad.Ident.Let_syntax
module Result : sig ... end
module Option = Core_kernel.Option