Source file `dirsp_exchange_kbb2017__.ml`

1
2
3
4
5
6
7
8
9
10
(* generated by dune *)

(** @canonical Dirsp_exchange_kbb2017.Kobeissi_bhargavan_blanchet *)
module Kobeissi_bhargavan_blanchet = Dirsp_exchange_kbb2017__Kobeissi_bhargavan_blanchet

(** @canonical Dirsp_exchange_kbb2017.Kobeissi_bhargavan_blanchet_intf *)
module Kobeissi_bhargavan_blanchet_intf = Dirsp_exchange_kbb2017__Kobeissi_bhargavan_blanchet_intf

(** @canonical Dirsp_exchange_kbb2017.Kobeissi_bhargavan_blanchet_shims *)
module Kobeissi_bhargavan_blanchet_shims = Dirsp_exchange_kbb2017__Kobeissi_bhargavan_blanchet_shims