Source file `dolmen_dimacs__.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(* 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