import MaxLeafFormal.RSCCompose

/-! `#print axioms` for the main declarations of `RSCCompose`. -/

#print axioms MaxLeafFormal.RSCCompose.Wcl_eq
#print axioms MaxLeafFormal.RSCCompose.rsc_bound_trials
#print axioms MaxLeafFormal.RSCCompose.rsc_success_of_data
#print axioms MaxLeafFormal.RSCCompose.rsc_rho_lt
#print axioms MaxLeafFormal.RSCCompose.rsc_maxLeaf_of_data