Source file `msat_backend.ml`

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

(** @canonical Msat_backend.Backend_intf *)
module Backend_intf = Msat_backend__Backend_intf

(** @canonical Msat_backend.Coq *)
module Coq = Msat_backend__Coq

(** @canonical Msat_backend.Dedukti *)
module Dedukti = Msat_backend__Dedukti

(** @canonical Msat_backend.Dot *)
module Dot = Msat_backend__Dot