Alter WooCommerce Menu Cart Icon HTML

function my_menu_cart_icon_html( $html ) {
	$html = 'YOUR CUSTOM HTML';
	return $html;
}
add_filter( 'ocean_menu_cart_icon_html', 'my_menu_cart_icon_html' );

All PHP snippets should be added via a child theme's functions.php file.