(lang dune 3.20)
(name monolith)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/monolith)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/monolith)
 (doc /usr/doc/monolith))
(files
 (lib
  (BuiltinAbstract.ml
   BuiltinArray.ml
   BuiltinArrows.ml
   BuiltinBool.ml
   BuiltinComparison.ml
   BuiltinExn.ml
   BuiltinInt.ml
   BuiltinIteration.ml
   BuiltinRot.ml
   BuiltinSeq.ml
   BuiltinTuple.ml
   Clock.ml
   Clock.mli
   Code.ml
   Code.mli
   Debug.ml
   DelayedOutput.ml
   Engine.ml
   Engine.mli
   Env.ml
   Env.mli
   Eq.ml
   Error.ml
   Gen.ml
   GlobalState.ml
   GlobalState.mli
   META
   Makefile.monolith
   Misc.ml
   Monolith.ml
   Monolith.mli
   Ops.ml
   Ops.mli
   Print.ml
   Spec.ml
   Support.ml
   Tag.ml
   Tag.mli
   dune-package
   monolith.a
   monolith.cma
   monolith.cmi
   monolith.cmt
   monolith.cmti
   monolith.cmx
   monolith.cmxa
   monolith__.cmi
   monolith__.cmt
   monolith__.cmx
   monolith__.ml
   monolith__BuiltinAbstract.cmi
   monolith__BuiltinAbstract.cmt
   monolith__BuiltinAbstract.cmx
   monolith__BuiltinArray.cmi
   monolith__BuiltinArray.cmt
   monolith__BuiltinArray.cmx
   monolith__BuiltinArrows.cmi
   monolith__BuiltinArrows.cmt
   monolith__BuiltinArrows.cmx
   monolith__BuiltinBool.cmi
   monolith__BuiltinBool.cmt
   monolith__BuiltinBool.cmx
   monolith__BuiltinComparison.cmi
   monolith__BuiltinComparison.cmt
   monolith__BuiltinComparison.cmx
   monolith__BuiltinExn.cmi
   monolith__BuiltinExn.cmt
   monolith__BuiltinExn.cmx
   monolith__BuiltinInt.cmi
   monolith__BuiltinInt.cmt
   monolith__BuiltinInt.cmx
   monolith__BuiltinIteration.cmi
   monolith__BuiltinIteration.cmt
   monolith__BuiltinIteration.cmx
   monolith__BuiltinRot.cmi
   monolith__BuiltinRot.cmt
   monolith__BuiltinRot.cmx
   monolith__BuiltinSeq.cmi
   monolith__BuiltinSeq.cmt
   monolith__BuiltinSeq.cmx
   monolith__BuiltinTuple.cmi
   monolith__BuiltinTuple.cmt
   monolith__BuiltinTuple.cmx
   monolith__Clock.cmi
   monolith__Clock.cmt
   monolith__Clock.cmti
   monolith__Clock.cmx
   monolith__Code.cmi
   monolith__Code.cmt
   monolith__Code.cmti
   monolith__Code.cmx
   monolith__Debug.cmi
   monolith__Debug.cmt
   monolith__Debug.cmx
   monolith__DelayedOutput.cmi
   monolith__DelayedOutput.cmt
   monolith__DelayedOutput.cmx
   monolith__Engine.cmi
   monolith__Engine.cmt
   monolith__Engine.cmti
   monolith__Engine.cmx
   monolith__Env.cmi
   monolith__Env.cmt
   monolith__Env.cmti
   monolith__Env.cmx
   monolith__Eq.cmi
   monolith__Eq.cmt
   monolith__Eq.cmx
   monolith__Error.cmi
   monolith__Error.cmt
   monolith__Error.cmx
   monolith__Gen.cmi
   monolith__Gen.cmt
   monolith__Gen.cmx
   monolith__GlobalState.cmi
   monolith__GlobalState.cmt
   monolith__GlobalState.cmti
   monolith__GlobalState.cmx
   monolith__Misc.cmi
   monolith__Misc.cmt
   monolith__Misc.cmx
   monolith__Ops.cmi
   monolith__Ops.cmt
   monolith__Ops.cmti
   monolith__Ops.cmx
   monolith__Print.cmi
   monolith__Print.cmt
   monolith__Print.cmx
   monolith__Spec.cmi
   monolith__Spec.cmt
   monolith__Spec.cmx
   monolith__Support.cmi
   monolith__Support.cmt
   monolith__Support.cmx
   monolith__Tag.cmi
   monolith__Tag.cmt
   monolith__Tag.cmti
   monolith__Tag.cmx
   opam))
 (libexec (monolith.cmxs))
 (doc (CHANGES.md LICENSE README.md)))
(library
 (name monolith)
 (kind normal)
 (archives (byte monolith.cma) (native monolith.cmxa))
 (plugins (byte monolith.cma) (native monolith.cmxs))
 (native_archives monolith.a)
 (requires unix afl-persistent pprint)
 (main_module_name Monolith)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name monolith__)
     (visibility public)
     (kind alias)
     (source (path Monolith__) (impl (path monolith__.ml-gen))))
    (name Monolith)
    (modules
     (module
      (obj_name monolith__BuiltinAbstract)
      (visibility public)
      (source (path BuiltinAbstract) (impl (path BuiltinAbstract.ml))))
     (module
      (obj_name monolith__BuiltinArray)
      (visibility public)
      (source (path BuiltinArray) (impl (path BuiltinArray.ml))))
     (module
      (obj_name monolith__BuiltinArrows)
      (visibility public)
      (source (path BuiltinArrows) (impl (path BuiltinArrows.ml))))
     (module
      (obj_name monolith__BuiltinBool)
      (visibility public)
      (source (path BuiltinBool) (impl (path BuiltinBool.ml))))
     (module
      (obj_name monolith__BuiltinComparison)
      (visibility public)
      (source (path BuiltinComparison) (impl (path BuiltinComparison.ml))))
     (module
      (obj_name monolith__BuiltinExn)
      (visibility public)
      (source (path BuiltinExn) (impl (path BuiltinExn.ml))))
     (module
      (obj_name monolith__BuiltinInt)
      (visibility public)
      (source (path BuiltinInt) (impl (path BuiltinInt.ml))))
     (module
      (obj_name monolith__BuiltinIteration)
      (visibility public)
      (source (path BuiltinIteration) (impl (path BuiltinIteration.ml))))
     (module
      (obj_name monolith__BuiltinRot)
      (visibility public)
      (source (path BuiltinRot) (impl (path BuiltinRot.ml))))
     (module
      (obj_name monolith__BuiltinSeq)
      (visibility public)
      (source (path BuiltinSeq) (impl (path BuiltinSeq.ml))))
     (module
      (obj_name monolith__BuiltinTuple)
      (visibility public)
      (source (path BuiltinTuple) (impl (path BuiltinTuple.ml))))
     (module
      (obj_name monolith__Clock)
      (visibility public)
      (source (path Clock) (intf (path Clock.mli)) (impl (path Clock.ml))))
     (module
      (obj_name monolith__Code)
      (visibility public)
      (source (path Code) (intf (path Code.mli)) (impl (path Code.ml))))
     (module
      (obj_name monolith__Debug)
      (visibility public)
      (source (path Debug) (impl (path Debug.ml))))
     (module
      (obj_name monolith__DelayedOutput)
      (visibility public)
      (source (path DelayedOutput) (impl (path DelayedOutput.ml))))
     (module
      (obj_name monolith__Engine)
      (visibility public)
      (source (path Engine) (intf (path Engine.mli)) (impl (path Engine.ml))))
     (module
      (obj_name monolith__Env)
      (visibility public)
      (source (path Env) (intf (path Env.mli)) (impl (path Env.ml))))
     (module
      (obj_name monolith__Eq)
      (visibility public)
      (source (path Eq) (impl (path Eq.ml))))
     (module
      (obj_name monolith__Error)
      (visibility public)
      (source (path Error) (impl (path Error.ml))))
     (module
      (obj_name monolith__Gen)
      (visibility public)
      (source (path Gen) (impl (path Gen.ml))))
     (module
      (obj_name monolith__GlobalState)
      (visibility public)
      (source
       (path GlobalState)
       (intf (path GlobalState.mli))
       (impl (path GlobalState.ml))))
     (module
      (obj_name monolith__Misc)
      (visibility public)
      (source (path Misc) (impl (path Misc.ml))))
     (module
      (obj_name monolith)
      (visibility public)
      (source
       (path Monolith)
       (intf (path Monolith.mli))
       (impl (path Monolith.ml))))
     (module
      (obj_name monolith__Ops)
      (visibility public)
      (source (path Ops) (intf (path Ops.mli)) (impl (path Ops.ml))))
     (module
      (obj_name monolith__Print)
      (visibility public)
      (source (path Print) (impl (path Print.ml))))
     (module
      (obj_name monolith__Spec)
      (visibility public)
      (source (path Spec) (impl (path Spec.ml))))
     (module
      (obj_name monolith__Support)
      (visibility public)
      (source (path Support) (impl (path Support.ml))))
     (module
      (obj_name monolith__Tag)
      (visibility public)
      (source (path Tag) (intf (path Tag.mli)) (impl (path Tag.ml))))))
   (wrapped true))))
