Source file dolmen_dimacs__.ml

(* generated by dune *)

(** @canonical Dolmen_dimacs.Ast_dimacs *)
module Ast_dimacs = Dolmen_dimacs__Ast_dimacs

(** @canonical Dolmen_dimacs.LexDimacs *)
module LexDimacs = Dolmen_dimacs__LexDimacs

(** @canonical Dolmen_dimacs.ParseDimacs *)
module ParseDimacs = Dolmen_dimacs__ParseDimacs

(** @canonical Dolmen_dimacs.Tokens_dimacs *)
module Tokens_dimacs = Dolmen_dimacs__Tokens_dimacs