Checked_ast.T0
Monad instance for Types.Checked.t.
Types.Checked.t
type nonrec ('a, 'field) t = ( 'a, 'field ) t
val return : 'a -> ( 'b, 'c ) t
val map : [> `Custom of ( 'a, 'b ) t -> f:( 'a -> 'c ) -> ( 'c, 'b ) t ]
val bind : 'a 'b 'field. ( 'a, 'field ) t -> f:( 'a -> ( 'b, 'field ) t ) -> ( 'b, 'field ) t