package dedukti

  1. Overview
  2. Docs

Source file api.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(* generated by dune *)

(** @canonical Api.Dep *)
module Dep = Api__Dep

(** @canonical Api.Env *)
module Env = Api__Env

(** @canonical Api.Errors *)
module Errors = Api__Errors

(** @canonical Api.Files *)
module Files = Api__Files

(** @canonical Api.Meta *)
module Meta = Api__Meta

(** @canonical Api.Pp *)
module Pp = Api__Pp

(** @canonical Api.Processor *)
module Processor = Api__Processor
OCaml

Innovation. Community. Security.