Ideally, from a developer's perspective, this should be implemented such that the developer would call:
do_action( 'ad_layers_render_amp_ad_unit', $slot );
And the ad would render as an <amp-ad> element. This would probably involve adding a checkbox to the ad layer UI to flag a layer as a "Google AMP Ad Layer" if the AMP plugin is active.