Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet
module Make : Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.PROTOCOLFUNCTOR