Module Core_kernel__List0.Let_syntax.Let_syntax.Open_on_rhs