Hi there 
We’ve installed a ticketing support system plugin, and as tickets, they use custom posts.
We would like to render the content of the tickets in the WooCommerce menu as /my-account/ticket/1111111 (being the 1111’s the ticket number), with WC sidebar.
So, we got these instructions from them, on how to embed the ticket’s single post content to the custom post:

and to replace the_content() by echo wpas_single_ticket().
We’ve created a child theme and got stuck now, in an attempt to avoid excessive head scratching, could you point me into the right direction from here? i.e. what’s the template we need to copy to the child theme’s directory, and what code to replace?
Thanks a lot!