(lang dune 3.20)
(name herdtools7)
(version 7.52-4475-g95924bc)
(sections
 (lib /build/herdtools7-git/pkg/herdtools7-git/usr/lib/herdtools7)
 (libexec /build/herdtools7-git/pkg/herdtools7-git/usr/lib/herdtools7)
 (bin /build/herdtools7-git/pkg/herdtools7-git/usr/bin)
 (doc /build/herdtools7-git/pkg/herdtools7-git/usr/doc/herdtools7))
(files
 (lib
  (META
   asllib/.private/asllib__Gparser0.cmi
   asllib/.private/asllib__Gparser0.cmt
   asllib/.private/asllib__Lexer0.cmi
   asllib/.private/asllib__Lexer0.cmt
   asllib/.private/asllib__Parser0.cmi
   asllib/.private/asllib__Parser0.cmt
   asllib/.private/asllib__Parser0.cmti
   asllib/.private/asllib__RepeatableLexer.cmi
   asllib/.private/asllib__RepeatableLexer.cmt
   asllib/.private/asllib__SimpleLexer0.cmi
   asllib/.private/asllib__SimpleLexer0.cmt
   asllib/AST.mli
   asllib/ASTUtils.ml
   asllib/ASTUtils.mli
   asllib/DependencyAnalysis.ml
   asllib/DependencyAnalysis.mli
   asllib/Interpreter.ml
   asllib/Interpreter.mli
   asllib/Lexer.ml
   asllib/Native.ml
   asllib/Native.mli
   asllib/Operations.ml
   asllib/PP.ml
   asllib/PP.mli
   asllib/Parser.ml
   asllib/Parser.mli
   asllib/Parser0.ml
   asllib/Parser0.mli
   asllib/ParserConfig.mli
   asllib/Serialize.ml
   asllib/Serialize.mli
   asllib/SideEffect.ml
   asllib/SideEffect.mli
   asllib/SimpleLexer0.ml
   asllib/StaticEnv.ml
   asllib/StaticEnv.mli
   asllib/StaticInterpreter.ml
   asllib/StaticInterpreter.mli
   asllib/StaticModel.ml
   asllib/StaticModel.mli
   asllib/StaticOperations.ml
   asllib/StaticOperations.mli
   asllib/Tokens.ml
   asllib/Tokens.mli
   asllib/TopoSort.ml
   asllib/TopoSort.mli
   asllib/Typing.ml
   asllib/Typing.mli
   asllib/Version.ml
   asllib/asl_stdlib.ml
   asllib/asllib.a
   asllib/asllib.cma
   asllib/asllib.cmi
   asllib/asllib.cmt
   asllib/asllib.cmx
   asllib/asllib.cmxa
   asllib/asllib.ml
   asllib/asllib__AST.cmi
   asllib/asllib__AST.cmti
   asllib/asllib__ASTUtils.cmi
   asllib/asllib__ASTUtils.cmt
   asllib/asllib__ASTUtils.cmti
   asllib/asllib__ASTUtils.cmx
   asllib/asllib__Asl_stdlib.cmi
   asllib/asllib__Asl_stdlib.cmt
   asllib/asllib__Asl_stdlib.cmx
   asllib/asllib__Backend.cmi
   asllib/asllib__Backend.cmti
   asllib/asllib__Bitvector.cmi
   asllib/asllib__Bitvector.cmt
   asllib/asllib__Bitvector.cmti
   asllib/asllib__Bitvector.cmx
   asllib/asllib__Builder.cmi
   asllib/asllib__Builder.cmt
   asllib/asllib__Builder.cmti
   asllib/asllib__Builder.cmx
   asllib/asllib__DependencyAnalysis.cmi
   asllib/asllib__DependencyAnalysis.cmt
   asllib/asllib__DependencyAnalysis.cmti
   asllib/asllib__DependencyAnalysis.cmx
   asllib/asllib__Desugar.cmi
   asllib/asllib__Desugar.cmt
   asllib/asllib__Desugar.cmti
   asllib/asllib__Desugar.cmx
   asllib/asllib__Diet.cmi
   asllib/asllib__Diet.cmt
   asllib/asllib__Diet.cmti
   asllib/asllib__Diet.cmx
   asllib/asllib__Env.cmi
   asllib/asllib__Env.cmt
   asllib/asllib__Env.cmti
   asllib/asllib__Env.cmx
   asllib/asllib__Error.cmi
   asllib/asllib__Error.cmt
   asllib/asllib__Error.cmx
   asllib/asllib__Gparser0.cmx
   asllib/asllib__Instrumentation.cmi
   asllib/asllib__Instrumentation.cmt
   asllib/asllib__Instrumentation.cmx
   asllib/asllib__Interpreter.cmi
   asllib/asllib__Interpreter.cmt
   asllib/asllib__Interpreter.cmti
   asllib/asllib__Interpreter.cmx
   asllib/asllib__Lexer.cmi
   asllib/asllib__Lexer.cmt
   asllib/asllib__Lexer.cmx
   asllib/asllib__Lexer0.cmx
   asllib/asllib__Lispobj.cmi
   asllib/asllib__Lispobj.cmt
   asllib/asllib__Lispobj.cmx
   asllib/asllib__Native.cmi
   asllib/asllib__Native.cmt
   asllib/asllib__Native.cmti
   asllib/asllib__Native.cmx
   asllib/asllib__Operations.cmi
   asllib/asllib__Operations.cmt
   asllib/asllib__Operations.cmx
   asllib/asllib__PP.cmi
   asllib/asllib__PP.cmt
   asllib/asllib__PP.cmti
   asllib/asllib__PP.cmx
   asllib/asllib__Parser.cmi
   asllib/asllib__Parser.cmt
   asllib/asllib__Parser.cmti
   asllib/asllib__Parser.cmx
   asllib/asllib__Parser0.cmx
   asllib/asllib__ParserConfig.cmi
   asllib/asllib__ParserConfig.cmti
   asllib/asllib__Parser_errors.cmi
   asllib/asllib__Parser_errors.cmt
   asllib/asllib__Parser_errors.cmx
   asllib/asllib__RepeatableLexer.cmx
   asllib/asllib__Serialize.cmi
   asllib/asllib__Serialize.cmt
   asllib/asllib__Serialize.cmti
   asllib/asllib__Serialize.cmx
   asllib/asllib__SideEffect.cmi
   asllib/asllib__SideEffect.cmt
   asllib/asllib__SideEffect.cmti
   asllib/asllib__SideEffect.cmx
   asllib/asllib__SimpleLexer0.cmx
   asllib/asllib__Splitasl.cmi
   asllib/asllib__Splitasl.cmt
   asllib/asllib__Splitasl.cmti
   asllib/asllib__Splitasl.cmx
   asllib/asllib__StaticEnv.cmi
   asllib/asllib__StaticEnv.cmt
   asllib/asllib__StaticEnv.cmti
   asllib/asllib__StaticEnv.cmx
   asllib/asllib__StaticInterpreter.cmi
   asllib/asllib__StaticInterpreter.cmt
   asllib/asllib__StaticInterpreter.cmti
   asllib/asllib__StaticInterpreter.cmx
   asllib/asllib__StaticModel.cmi
   asllib/asllib__StaticModel.cmt
   asllib/asllib__StaticModel.cmti
   asllib/asllib__StaticModel.cmx
   asllib/asllib__StaticOperations.cmi
   asllib/asllib__StaticOperations.cmt
   asllib/asllib__StaticOperations.cmti
   asllib/asllib__StaticOperations.cmx
   asllib/asllib__ToLisp.cmi
   asllib/asllib__ToLisp.cmt
   asllib/asllib__ToLisp.cmx
   asllib/asllib__Tokens.cmi
   asllib/asllib__Tokens.cmt
   asllib/asllib__Tokens.cmti
   asllib/asllib__Tokens.cmx
   asllib/asllib__TopoSort.cmi
   asllib/asllib__TopoSort.cmt
   asllib/asllib__TopoSort.cmti
   asllib/asllib__TopoSort.cmx
   asllib/asllib__Types.cmi
   asllib/asllib__Types.cmt
   asllib/asllib__Types.cmti
   asllib/asllib__Types.cmx
   asllib/asllib__Typing.cmi
   asllib/asllib__Typing.cmt
   asllib/asllib__Typing.cmti
   asllib/asllib__Typing.cmx
   asllib/asllib__Version.cmi
   asllib/asllib__Version.cmt
   asllib/asllib__Version.cmx
   asllib/backend.mli
   asllib/bitvector.ml
   asllib/bitvector.mli
   asllib/builder.ml
   asllib/builder.mli
   asllib/desugar.ml
   asllib/desugar.mli
   asllib/diet.ml
   asllib/diet.mli
   asllib/env.ml
   asllib/env.mli
   asllib/error.ml
   asllib/gparser0.ml
   asllib/instrumentation.ml
   asllib/lexer0.ml
   asllib/lispobj.ml
   asllib/parser_errors.ml
   asllib/repeatableLexer.ml
   asllib/splitasl.ml
   asllib/splitasl.mli
   asllib/toLisp.ml
   asllib/types.ml
   asllib/types.mli
   dune-package
   opam))
 (libexec (asllib/asllib.cmxs))
 (bin
  (aslbundler
   aslref
   aslspec
   atomize7
   atoms7
   bento
   cat2html7
   cat2lisp
   classify7
   diy7
   diycross7
   diymicro7
   diymicroenum7
   diyone7
   gen_theme7
   herd7
   jingle7
   klitmus7
   knames7
   ksort7
   litmus7
   madd7
   mapply7
   mcat2includes7
   mcmp7
   mcompare7
   mcond7
   mcycles7
   mdiag7
   mdiff7
   mexpand7
   mfilter7
   mfind7
   mflags7
   mhash7
   miaou7
   mlisa2c7
   mlock7
   mlog2cond7
   mlog2name7
   mmixer7
   mnames7
   mobserved7
   moutcomes7
   mprog7
   mproj7
   mrcu7
   mselect7
   mshowhashes7
   msort7
   msum7
   mtopos7
   mtrue7
   nexts7
   norm7
   readRelax7
   recond7
   rehash7
   splitcond7
   splitdot7))
 (doc
  (CHANGES.txt
   LICENSE.txt
   README-tests.md
   README.md
   odoc-pages/README.mld
   odoc-pages/index.mld)))
(library
 (name herdtools7.asllib)
 (kind normal)
 (archives (byte asllib/asllib.cma) (native asllib/asllib.cmxa))
 (plugins (byte asllib/asllib.cma) (native asllib/asllib.cmxs))
 (native_archives asllib/asllib.a)
 (requires menhirLib zarith)
 (main_module_name Asllib)
 (modes byte native)
 (obj_dir (private_dir .private))
 (modules
  (wrapped
   (group
    (alias
     (obj_name asllib)
     (visibility public)
     (kind alias)
     (source (path Asllib) (impl (path asllib/asllib.ml-gen))))
    (name Asllib)
    (modules
     (module
      (obj_name asllib__AST)
      (visibility public)
      (source (path AST) (intf (path asllib/AST.mli))))
     (module
      (obj_name asllib__ASTUtils)
      (visibility public)
      (source
       (path ASTUtils)
       (intf (path asllib/ASTUtils.mli))
       (impl (path asllib/ASTUtils.ml))))
     (module
      (obj_name asllib__Asl_stdlib)
      (visibility public)
      (source (path Asl_stdlib) (impl (path asllib/asl_stdlib.ml))))
     (module
      (obj_name asllib__Backend)
      (visibility public)
      (source (path Backend) (intf (path asllib/backend.mli))))
     (module
      (obj_name asllib__Bitvector)
      (visibility public)
      (source
       (path Bitvector)
       (intf (path asllib/bitvector.mli))
       (impl (path asllib/bitvector.ml))))
     (module
      (obj_name asllib__Builder)
      (visibility public)
      (source
       (path Builder)
       (intf (path asllib/builder.mli))
       (impl (path asllib/builder.ml))))
     (module
      (obj_name asllib__DependencyAnalysis)
      (visibility public)
      (source
       (path DependencyAnalysis)
       (intf (path asllib/DependencyAnalysis.mli))
       (impl (path asllib/DependencyAnalysis.ml))))
     (module
      (obj_name asllib__Desugar)
      (visibility public)
      (source
       (path Desugar)
       (intf (path asllib/desugar.mli))
       (impl (path asllib/desugar.ml))))
     (module
      (obj_name asllib__Diet)
      (visibility public)
      (source
       (path Diet)
       (intf (path asllib/diet.mli))
       (impl (path asllib/diet.ml))))
     (module
      (obj_name asllib__Env)
      (visibility public)
      (source
       (path Env)
       (intf (path asllib/env.mli))
       (impl (path asllib/env.ml))))
     (module
      (obj_name asllib__Error)
      (visibility public)
      (source (path Error) (impl (path asllib/error.ml))))
     (module
      (obj_name asllib__Gparser0)
      (visibility private)
      (source (path Gparser0) (impl (path asllib/gparser0.ml))))
     (module
      (obj_name asllib__Instrumentation)
      (visibility public)
      (source (path Instrumentation) (impl (path asllib/instrumentation.ml))))
     (module
      (obj_name asllib__Interpreter)
      (visibility public)
      (source
       (path Interpreter)
       (intf (path asllib/Interpreter.mli))
       (impl (path asllib/Interpreter.ml))))
     (module
      (obj_name asllib__Lexer)
      (visibility public)
      (source (path Lexer) (impl (path asllib/Lexer.ml))))
     (module
      (obj_name asllib__Lexer0)
      (visibility private)
      (source (path Lexer0) (impl (path asllib/lexer0.ml))))
     (module
      (obj_name asllib__Lispobj)
      (visibility public)
      (source (path Lispobj) (impl (path asllib/lispobj.ml))))
     (module
      (obj_name asllib__Native)
      (visibility public)
      (source
       (path Native)
       (intf (path asllib/Native.mli))
       (impl (path asllib/Native.ml))))
     (module
      (obj_name asllib__Operations)
      (visibility public)
      (source (path Operations) (impl (path asllib/Operations.ml))))
     (module
      (obj_name asllib__PP)
      (visibility public)
      (source
       (path PP)
       (intf (path asllib/PP.mli))
       (impl (path asllib/PP.ml))))
     (module
      (obj_name asllib__Parser)
      (visibility public)
      (source
       (path Parser)
       (intf (path asllib/Parser.mli))
       (impl (path asllib/Parser.ml))))
     (module
      (obj_name asllib__Parser0)
      (visibility private)
      (source
       (path Parser0)
       (intf (path asllib/Parser0.mli))
       (impl (path asllib/Parser0.ml))))
     (module
      (obj_name asllib__ParserConfig)
      (visibility public)
      (source (path ParserConfig) (intf (path asllib/ParserConfig.mli))))
     (module
      (obj_name asllib__Parser_errors)
      (visibility public)
      (source (path Parser_errors) (impl (path asllib/parser_errors.ml))))
     (module
      (obj_name asllib__RepeatableLexer)
      (visibility private)
      (source (path RepeatableLexer) (impl (path asllib/repeatableLexer.ml))))
     (module
      (obj_name asllib__Serialize)
      (visibility public)
      (source
       (path Serialize)
       (intf (path asllib/Serialize.mli))
       (impl (path asllib/Serialize.ml))))
     (module
      (obj_name asllib__SideEffect)
      (visibility public)
      (source
       (path SideEffect)
       (intf (path asllib/SideEffect.mli))
       (impl (path asllib/SideEffect.ml))))
     (module
      (obj_name asllib__SimpleLexer0)
      (visibility private)
      (source (path SimpleLexer0) (impl (path asllib/SimpleLexer0.ml))))
     (module
      (obj_name asllib__Splitasl)
      (visibility public)
      (source
       (path Splitasl)
       (intf (path asllib/splitasl.mli))
       (impl (path asllib/splitasl.ml))))
     (module
      (obj_name asllib__StaticEnv)
      (visibility public)
      (source
       (path StaticEnv)
       (intf (path asllib/StaticEnv.mli))
       (impl (path asllib/StaticEnv.ml))))
     (module
      (obj_name asllib__StaticInterpreter)
      (visibility public)
      (source
       (path StaticInterpreter)
       (intf (path asllib/StaticInterpreter.mli))
       (impl (path asllib/StaticInterpreter.ml))))
     (module
      (obj_name asllib__StaticModel)
      (visibility public)
      (source
       (path StaticModel)
       (intf (path asllib/StaticModel.mli))
       (impl (path asllib/StaticModel.ml))))
     (module
      (obj_name asllib__StaticOperations)
      (visibility public)
      (source
       (path StaticOperations)
       (intf (path asllib/StaticOperations.mli))
       (impl (path asllib/StaticOperations.ml))))
     (module
      (obj_name asllib__ToLisp)
      (visibility public)
      (source (path ToLisp) (impl (path asllib/toLisp.ml))))
     (module
      (obj_name asllib__Tokens)
      (visibility public)
      (source
       (path Tokens)
       (intf (path asllib/Tokens.mli))
       (impl (path asllib/Tokens.ml))))
     (module
      (obj_name asllib__TopoSort)
      (visibility public)
      (source
       (path TopoSort)
       (intf (path asllib/TopoSort.mli))
       (impl (path asllib/TopoSort.ml))))
     (module
      (obj_name asllib__Types)
      (visibility public)
      (source
       (path Types)
       (intf (path asllib/types.mli))
       (impl (path asllib/types.ml))))
     (module
      (obj_name asllib__Typing)
      (visibility public)
      (source
       (path Typing)
       (intf (path asllib/Typing.mli))
       (impl (path asllib/Typing.ml))))
     (module
      (obj_name asllib__Version)
      (visibility public)
      (source (path Version) (impl (path asllib/Version.ml))))))
   (wrapped true))))
