package lambdapi

  1. Overview
  2. Docs

Source file export.ml

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

(** @canonical Export.Coq *)
module Coq = Export__Coq

(** @canonical Export.Dk *)
module Dk = Export__Dk

(** @canonical Export.Hrs *)
module Hrs = Export__Hrs

(** @canonical Export.Xtc *)
module Xtc = Export__Xtc