Impl.Let_syntax
val (>>=) : 'a Checked.t -> ( 'a -> 'b Checked.t ) -> 'b Checked.t
val (>>|) : 'a Checked.t -> ( 'a -> 'b ) -> 'b Checked.t
val return : 'a -> 'a Checked.t
val bind : 'a Checked.t -> f:( 'a -> 'b Checked.t ) -> 'b Checked.t
val map : 'a Checked.t -> f:( 'a -> 'b ) -> 'b Checked.t
val both : 'a Checked.t -> 'b Checked.t -> ('a * 'b) Checked.t
module Open_on_rhs : sig ... end