Source file coq.ml

(* generated by dune *)

(** @canonical Coq.Args *)
module Args = Coq__Args

(** @canonical Coq.Ast *)
module Ast = Coq__Ast

(** @canonical Coq.Compat *)
module Compat = Coq__Compat

(** @canonical Coq.Files *)
module Files = Coq__Files

(** @canonical Coq.Glob *)
module Glob = Coq__Glob

(** @canonical Coq.Goals *)
module Goals = Coq__Goals

(** @canonical Coq.Init *)
module Init = Coq__Init

(** @canonical Coq.Interp *)
module Interp = Coq__Interp

(** @canonical Coq.Library_file *)
module Library_file = Coq__Library_file

(** @canonical Coq.Limits *)
module Limits = Coq__Limits

(** @canonical Coq.Limits_mp_impl *)
module Limits_mp_impl = Coq__Limits_mp_impl

(** @canonical Coq.Loader *)
module Loader = Coq__Loader

(** @canonical Coq.Message *)
module Message = Coq__Message

(** @canonical Coq.Module *)
module Module = Coq__Module

(** @canonical Coq.Parsing *)
module Parsing = Coq__Parsing

(** @canonical Coq.Print *)
module Print = Coq__Print

(** @canonical Coq.Protect *)
module Protect = Coq__Protect

(** @canonical Coq.Save *)
module Save = Coq__Save

(** @canonical Coq.State *)
module State = Coq__State

(** @canonical Coq.Utils *)
module Utils = Coq__Utils

(** @canonical Coq.Workspace *)
module Workspace = Coq__Workspace