package ortac-core

  1. Overview
  2. Docs

Source file ortac_core.ml

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

(** @canonical Ortac_core.Builder *)
module Builder = Ortac_core__Builder

(** @canonical Ortac_core.Context *)
module Context = Ortac_core__Context

(** @canonical Ortac_core.Ocaml_of_gospel *)
module Ocaml_of_gospel = Ortac_core__Ocaml_of_gospel

(** @canonical Ortac_core.Utils *)
module Utils = Ortac_core__Utils

(** @canonical Ortac_core.Warnings *)
module Warnings = Ortac_core__Warnings