Source file coq.ml

(* generated by dune *)

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

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

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

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

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

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

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

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

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

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

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