(lang dune 3.16)
(name stanc)
(sections
 (lib /opt/local/lib/ocaml/site-lib/stanc)
 (libexec /opt/local/lib/ocaml/site-lib/stanc)
 (bin /opt/local/bin)
 (doc /opt/local/share/doc/stanc))
(files
 (lib
  (META
   analysis/Dataflow_types.ml
   analysis/Dataflow_utils.ml
   analysis/Dataflow_utils.mli
   analysis/Debug_data_generation.ml
   analysis/Debug_data_generation.mli
   analysis/Dependence_analysis.ml
   analysis/Dependence_analysis.mli
   analysis/Factor_graph.ml
   analysis/Memory_patterns.ml
   analysis/Mir_utils.ml
   analysis/Mir_utils.mli
   analysis/Monotone_framework.ml
   analysis/Monotone_framework_sigs.mli
   analysis/Optimize.ml
   analysis/Optimize.mli
   analysis/Partial_evaluator.ml
   analysis/Pedantic_analysis.ml
   analysis/Pedantic_analysis.mli
   analysis/Pedantic_dist_warnings.ml
   analysis/analysis_and_optimization.a
   analysis/analysis_and_optimization.cma
   analysis/analysis_and_optimization.cmi
   analysis/analysis_and_optimization.cmt
   analysis/analysis_and_optimization.cmx
   analysis/analysis_and_optimization.cmxa
   analysis/analysis_and_optimization.ml
   analysis/analysis_and_optimization__Dataflow_types.cmi
   analysis/analysis_and_optimization__Dataflow_types.cmt
   analysis/analysis_and_optimization__Dataflow_types.cmx
   analysis/analysis_and_optimization__Dataflow_utils.cmi
   analysis/analysis_and_optimization__Dataflow_utils.cmt
   analysis/analysis_and_optimization__Dataflow_utils.cmti
   analysis/analysis_and_optimization__Dataflow_utils.cmx
   analysis/analysis_and_optimization__Debug_data_generation.cmi
   analysis/analysis_and_optimization__Debug_data_generation.cmt
   analysis/analysis_and_optimization__Debug_data_generation.cmti
   analysis/analysis_and_optimization__Debug_data_generation.cmx
   analysis/analysis_and_optimization__Dependence_analysis.cmi
   analysis/analysis_and_optimization__Dependence_analysis.cmt
   analysis/analysis_and_optimization__Dependence_analysis.cmti
   analysis/analysis_and_optimization__Dependence_analysis.cmx
   analysis/analysis_and_optimization__Factor_graph.cmi
   analysis/analysis_and_optimization__Factor_graph.cmt
   analysis/analysis_and_optimization__Factor_graph.cmx
   analysis/analysis_and_optimization__Memory_patterns.cmi
   analysis/analysis_and_optimization__Memory_patterns.cmt
   analysis/analysis_and_optimization__Memory_patterns.cmx
   analysis/analysis_and_optimization__Mir_utils.cmi
   analysis/analysis_and_optimization__Mir_utils.cmt
   analysis/analysis_and_optimization__Mir_utils.cmti
   analysis/analysis_and_optimization__Mir_utils.cmx
   analysis/analysis_and_optimization__Monotone_framework.cmi
   analysis/analysis_and_optimization__Monotone_framework.cmt
   analysis/analysis_and_optimization__Monotone_framework.cmx
   analysis/analysis_and_optimization__Monotone_framework_sigs.cmi
   analysis/analysis_and_optimization__Monotone_framework_sigs.cmti
   analysis/analysis_and_optimization__Optimize.cmi
   analysis/analysis_and_optimization__Optimize.cmt
   analysis/analysis_and_optimization__Optimize.cmti
   analysis/analysis_and_optimization__Optimize.cmx
   analysis/analysis_and_optimization__Partial_evaluator.cmi
   analysis/analysis_and_optimization__Partial_evaluator.cmt
   analysis/analysis_and_optimization__Partial_evaluator.cmx
   analysis/analysis_and_optimization__Pedantic_analysis.cmi
   analysis/analysis_and_optimization__Pedantic_analysis.cmt
   analysis/analysis_and_optimization__Pedantic_analysis.cmti
   analysis/analysis_and_optimization__Pedantic_analysis.cmx
   analysis/analysis_and_optimization__Pedantic_dist_warnings.cmi
   analysis/analysis_and_optimization__Pedantic_dist_warnings.cmt
   analysis/analysis_and_optimization__Pedantic_dist_warnings.cmx
   common/Fixed.ml
   common/Foldable.ml
   common/Gensym.ml
   common/Gensym.mli
   common/ICE.ml
   common/Pattern.ml
   common/Pretty.ml
   common/Specialized.ml
   common/common.a
   common/common.cma
   common/common.cmi
   common/common.cmt
   common/common.cmx
   common/common.cmxa
   common/common.ml
   common/common__Fixed.cmi
   common/common__Fixed.cmt
   common/common__Fixed.cmx
   common/common__Foldable.cmi
   common/common__Foldable.cmt
   common/common__Foldable.cmx
   common/common__Gensym.cmi
   common/common__Gensym.cmt
   common/common__Gensym.cmti
   common/common__Gensym.cmx
   common/common__ICE.cmi
   common/common__ICE.cmt
   common/common__ICE.cmx
   common/common__Pattern.cmi
   common/common__Pattern.cmt
   common/common__Pattern.cmx
   common/common__Pretty.cmi
   common/common__Pretty.cmt
   common/common__Pretty.cmx
   common/common__Specialized.cmi
   common/common__Specialized.cmt
   common/common__Specialized.cmx
   dune-package
   frontend/Ast.ml
   frontend/Ast_to_Mir.ml
   frontend/Ast_to_Mir.mli
   frontend/Canonicalize.ml
   frontend/Canonicalize.mli
   frontend/Debugging.ml
   frontend/Deprecation_analysis.ml
   frontend/Deprecation_analysis.mli
   frontend/Environment.ml
   frontend/Environment.mli
   frontend/Errors.ml
   frontend/Errors.mli
   frontend/Info.ml
   frontend/Info.mli
   frontend/Input_warnings.ml
   frontend/Input_warnings.mli
   frontend/Parse.ml
   frontend/Parse.mli
   frontend/Preprocessor.ml
   frontend/Preprocessor.mli
   frontend/Pretty_print_prog.ml
   frontend/Pretty_print_prog.mli
   frontend/Pretty_printing.ml
   frontend/Promotion.ml
   frontend/Semantic_error.ml
   frontend/Semantic_error.mli
   frontend/SignatureMismatch.ml
   frontend/SignatureMismatch.mli
   frontend/Typechecker.ml
   frontend/Typechecker.mli
   frontend/Warnings.ml
   frontend/Warnings.mli
   frontend/frontend.a
   frontend/frontend.cma
   frontend/frontend.cmi
   frontend/frontend.cmt
   frontend/frontend.cmx
   frontend/frontend.cmxa
   frontend/frontend.ml
   frontend/frontend__Ast.cmi
   frontend/frontend__Ast.cmt
   frontend/frontend__Ast.cmx
   frontend/frontend__Ast_to_Mir.cmi
   frontend/frontend__Ast_to_Mir.cmt
   frontend/frontend__Ast_to_Mir.cmti
   frontend/frontend__Ast_to_Mir.cmx
   frontend/frontend__Canonicalize.cmi
   frontend/frontend__Canonicalize.cmt
   frontend/frontend__Canonicalize.cmti
   frontend/frontend__Canonicalize.cmx
   frontend/frontend__Debugging.cmi
   frontend/frontend__Debugging.cmt
   frontend/frontend__Debugging.cmx
   frontend/frontend__Deprecation_analysis.cmi
   frontend/frontend__Deprecation_analysis.cmt
   frontend/frontend__Deprecation_analysis.cmti
   frontend/frontend__Deprecation_analysis.cmx
   frontend/frontend__Environment.cmi
   frontend/frontend__Environment.cmt
   frontend/frontend__Environment.cmti
   frontend/frontend__Environment.cmx
   frontend/frontend__Errors.cmi
   frontend/frontend__Errors.cmt
   frontend/frontend__Errors.cmti
   frontend/frontend__Errors.cmx
   frontend/frontend__Info.cmi
   frontend/frontend__Info.cmt
   frontend/frontend__Info.cmti
   frontend/frontend__Info.cmx
   frontend/frontend__Input_warnings.cmi
   frontend/frontend__Input_warnings.cmt
   frontend/frontend__Input_warnings.cmti
   frontend/frontend__Input_warnings.cmx
   frontend/frontend__Lexer.cmi
   frontend/frontend__Lexer.cmt
   frontend/frontend__Lexer.cmx
   frontend/frontend__Parse.cmi
   frontend/frontend__Parse.cmt
   frontend/frontend__Parse.cmti
   frontend/frontend__Parse.cmx
   frontend/frontend__Parser.cmi
   frontend/frontend__Parser.cmt
   frontend/frontend__Parser.cmti
   frontend/frontend__Parser.cmx
   frontend/frontend__Parsing_errors.cmi
   frontend/frontend__Parsing_errors.cmt
   frontend/frontend__Parsing_errors.cmx
   frontend/frontend__Preprocessor.cmi
   frontend/frontend__Preprocessor.cmt
   frontend/frontend__Preprocessor.cmti
   frontend/frontend__Preprocessor.cmx
   frontend/frontend__Pretty_print_prog.cmi
   frontend/frontend__Pretty_print_prog.cmt
   frontend/frontend__Pretty_print_prog.cmti
   frontend/frontend__Pretty_print_prog.cmx
   frontend/frontend__Pretty_printing.cmi
   frontend/frontend__Pretty_printing.cmt
   frontend/frontend__Pretty_printing.cmx
   frontend/frontend__Promotion.cmi
   frontend/frontend__Promotion.cmt
   frontend/frontend__Promotion.cmx
   frontend/frontend__Semantic_error.cmi
   frontend/frontend__Semantic_error.cmt
   frontend/frontend__Semantic_error.cmti
   frontend/frontend__Semantic_error.cmx
   frontend/frontend__SignatureMismatch.cmi
   frontend/frontend__SignatureMismatch.cmt
   frontend/frontend__SignatureMismatch.cmti
   frontend/frontend__SignatureMismatch.cmx
   frontend/frontend__Typechecker.cmi
   frontend/frontend__Typechecker.cmt
   frontend/frontend__Typechecker.cmti
   frontend/frontend__Typechecker.cmx
   frontend/frontend__Warnings.cmi
   frontend/frontend__Warnings.cmt
   frontend/frontend__Warnings.cmti
   frontend/frontend__Warnings.cmx
   frontend/lexer.ml
   frontend/parser.ml
   frontend/parser.mli
   frontend/parsing_errors.ml
   middle/Expr.ml
   middle/Expr.mli
   middle/Flag_vars.ml
   middle/Fun_kind.ml
   middle/Index.ml
   middle/Internal_fun.ml
   middle/Location.ml
   middle/Location_span.ml
   middle/Mem_pattern.ml
   middle/Operator.ml
   middle/Program.ml
   middle/SizedType.ml
   middle/Stan_math_signatures.ml
   middle/Stan_math_signatures.mli
   middle/Stmt.ml
   middle/Stmt.mli
   middle/Transformation.ml
   middle/Type.ml
   middle/UnsizedType.ml
   middle/Utils.ml
   middle/middle.a
   middle/middle.cma
   middle/middle.cmi
   middle/middle.cmt
   middle/middle.cmx
   middle/middle.cmxa
   middle/middle.ml
   middle/middle__Expr.cmi
   middle/middle__Expr.cmt
   middle/middle__Expr.cmti
   middle/middle__Expr.cmx
   middle/middle__Flag_vars.cmi
   middle/middle__Flag_vars.cmt
   middle/middle__Flag_vars.cmx
   middle/middle__Fun_kind.cmi
   middle/middle__Fun_kind.cmt
   middle/middle__Fun_kind.cmx
   middle/middle__Index.cmi
   middle/middle__Index.cmt
   middle/middle__Index.cmx
   middle/middle__Internal_fun.cmi
   middle/middle__Internal_fun.cmt
   middle/middle__Internal_fun.cmx
   middle/middle__Location.cmi
   middle/middle__Location.cmt
   middle/middle__Location.cmx
   middle/middle__Location_span.cmi
   middle/middle__Location_span.cmt
   middle/middle__Location_span.cmx
   middle/middle__Mem_pattern.cmi
   middle/middle__Mem_pattern.cmt
   middle/middle__Mem_pattern.cmx
   middle/middle__Operator.cmi
   middle/middle__Operator.cmt
   middle/middle__Operator.cmx
   middle/middle__Program.cmi
   middle/middle__Program.cmt
   middle/middle__Program.cmx
   middle/middle__SizedType.cmi
   middle/middle__SizedType.cmt
   middle/middle__SizedType.cmx
   middle/middle__Stan_math_signatures.cmi
   middle/middle__Stan_math_signatures.cmt
   middle/middle__Stan_math_signatures.cmti
   middle/middle__Stan_math_signatures.cmx
   middle/middle__Stmt.cmi
   middle/middle__Stmt.cmt
   middle/middle__Stmt.cmti
   middle/middle__Stmt.cmx
   middle/middle__Transformation.cmi
   middle/middle__Transformation.cmt
   middle/middle__Transformation.cmx
   middle/middle__Type.cmi
   middle/middle__Type.cmt
   middle/middle__Type.cmx
   middle/middle__UnsizedType.cmi
   middle/middle__UnsizedType.cmt
   middle/middle__UnsizedType.cmx
   middle/middle__Utils.cmi
   middle/middle__Utils.cmt
   middle/middle__Utils.cmx
   opam
   stan_math_backend/.private/stan_math_backend__Cpp_Json.cmi
   stan_math_backend/.private/stan_math_backend__Cpp_Json.cmt
   stan_math_backend/.private/stan_math_backend__Cpp_Json.cmti
   stan_math_backend/.private/stan_math_backend__Cpp_str.cmi
   stan_math_backend/.private/stan_math_backend__Cpp_str.cmt
   stan_math_backend/.private/stan_math_backend__Cpp_str.cmti
   stan_math_backend/.private/stan_math_backend__Lower_expr.cmi
   stan_math_backend/.private/stan_math_backend__Lower_expr.cmt
   stan_math_backend/.private/stan_math_backend__Lower_functions.cmi
   stan_math_backend/.private/stan_math_backend__Lower_functions.cmt
   stan_math_backend/.private/stan_math_backend__Lower_functions.cmti
   stan_math_backend/.private/stan_math_backend__Lower_stmt.cmi
   stan_math_backend/.private/stan_math_backend__Lower_stmt.cmt
   stan_math_backend/.private/stan_math_backend__Mangle.cmi
   stan_math_backend/.private/stan_math_backend__Mangle.cmt
   stan_math_backend/.private/stan_math_backend__Mangle.cmti
   stan_math_backend/.private/stan_math_backend__Numbering.cmi
   stan_math_backend/.private/stan_math_backend__Numbering.cmt
   stan_math_backend/.private/stan_math_backend__Numbering.cmti
   stan_math_backend/Cpp.ml
   stan_math_backend/Cpp_Json.ml
   stan_math_backend/Cpp_Json.mli
   stan_math_backend/Cpp_str.ml
   stan_math_backend/Cpp_str.mli
   stan_math_backend/Lower_expr.ml
   stan_math_backend/Lower_functions.ml
   stan_math_backend/Lower_functions.mli
   stan_math_backend/Lower_program.ml
   stan_math_backend/Lower_program.mli
   stan_math_backend/Lower_stmt.ml
   stan_math_backend/Mangle.ml
   stan_math_backend/Mangle.mli
   stan_math_backend/Numbering.ml
   stan_math_backend/Numbering.mli
   stan_math_backend/Transform_Mir.ml
   stan_math_backend/Transform_Mir.mli
   stan_math_backend/stan_math_backend.a
   stan_math_backend/stan_math_backend.cma
   stan_math_backend/stan_math_backend.cmi
   stan_math_backend/stan_math_backend.cmt
   stan_math_backend/stan_math_backend.cmx
   stan_math_backend/stan_math_backend.cmxa
   stan_math_backend/stan_math_backend.ml
   stan_math_backend/stan_math_backend__Cpp.cmi
   stan_math_backend/stan_math_backend__Cpp.cmt
   stan_math_backend/stan_math_backend__Cpp.cmx
   stan_math_backend/stan_math_backend__Cpp_Json.cmx
   stan_math_backend/stan_math_backend__Cpp_str.cmx
   stan_math_backend/stan_math_backend__Lower_expr.cmx
   stan_math_backend/stan_math_backend__Lower_functions.cmx
   stan_math_backend/stan_math_backend__Lower_program.cmi
   stan_math_backend/stan_math_backend__Lower_program.cmt
   stan_math_backend/stan_math_backend__Lower_program.cmti
   stan_math_backend/stan_math_backend__Lower_program.cmx
   stan_math_backend/stan_math_backend__Lower_stmt.cmx
   stan_math_backend/stan_math_backend__Mangle.cmx
   stan_math_backend/stan_math_backend__Numbering.cmx
   stan_math_backend/stan_math_backend__Transform_Mir.cmi
   stan_math_backend/stan_math_backend__Transform_Mir.cmt
   stan_math_backend/stan_math_backend__Transform_Mir.cmti
   stan_math_backend/stan_math_backend__Transform_Mir.cmx))
 (libexec
  (analysis/analysis_and_optimization.cmxs
   common/common.cmxs
   frontend/frontend.cmxs
   middle/middle.cmxs
   stan_math_backend/stan_math_backend.cmxs))
 (bin (run_bin_on_args run_js_on_args stanc))
 (doc
  (LICENSE.txt
   README.md
   odoc-pages/core_ideas.mld
   odoc-pages/cpp_ir.mld
   odoc-pages/dependencies.mld
   odoc-pages/exposing_new_functions.mld
   odoc-pages/getting_started.mld
   odoc-pages/index.mld
   odoc-pages/parser_messages.mld)))
(library
 (name stanc.analysis)
 (kind normal)
 (archives
  (byte analysis/analysis_and_optimization.cma)
  (native analysis/analysis_and_optimization.cmxa))
 (plugins
  (byte analysis/analysis_and_optimization.cma)
  (native analysis/analysis_and_optimization.cmxs))
 (native_archives analysis/analysis_and_optimization.a)
 (requires
  core
  str
  fmt
  stanc.common
  stanc.middle
  stanc.frontend
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_enumerate.runtime-lib
  ppx_hash.runtime-lib
  ppx_here.runtime-lib
  ppx_assert.runtime-lib
  ppx_bench.runtime-lib
  bin_prot
  fieldslib
  ppx_inline_test.config
  ppx_inline_test.runtime-lib
  ppx_module_timer.runtime
  ppx_stable_witness.runtime
  typerep
  variantslib
  ppx_expect.collector
  ppx_expect.config
  ppx_log.types
  base_quickcheck.ppx_quickcheck.runtime
  base_quickcheck
  ppx_deriving.runtime)
 (main_module_name Analysis_and_optimization)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name analysis_and_optimization)
     (visibility public)
     (kind alias)
     (source
      (path Analysis_and_optimization)
      (impl (path analysis/analysis_and_optimization.ml-gen))))
    (name Analysis_and_optimization)
    (modules
     (module
      (obj_name analysis_and_optimization__Dataflow_types)
      (visibility public)
      (source (path Dataflow_types) (impl (path analysis/Dataflow_types.ml))))
     (module
      (obj_name analysis_and_optimization__Dataflow_utils)
      (visibility public)
      (source
       (path Dataflow_utils)
       (intf (path analysis/Dataflow_utils.mli))
       (impl (path analysis/Dataflow_utils.ml))))
     (module
      (obj_name analysis_and_optimization__Debug_data_generation)
      (visibility public)
      (source
       (path Debug_data_generation)
       (intf (path analysis/Debug_data_generation.mli))
       (impl (path analysis/Debug_data_generation.ml))))
     (module
      (obj_name analysis_and_optimization__Dependence_analysis)
      (visibility public)
      (source
       (path Dependence_analysis)
       (intf (path analysis/Dependence_analysis.mli))
       (impl (path analysis/Dependence_analysis.ml))))
     (module
      (obj_name analysis_and_optimization__Factor_graph)
      (visibility public)
      (source (path Factor_graph) (impl (path analysis/Factor_graph.ml))))
     (module
      (obj_name analysis_and_optimization__Memory_patterns)
      (visibility public)
      (source
       (path Memory_patterns)
       (impl (path analysis/Memory_patterns.ml))))
     (module
      (obj_name analysis_and_optimization__Mir_utils)
      (visibility public)
      (source
       (path Mir_utils)
       (intf (path analysis/Mir_utils.mli))
       (impl (path analysis/Mir_utils.ml))))
     (module
      (obj_name analysis_and_optimization__Monotone_framework)
      (visibility public)
      (source
       (path Monotone_framework)
       (impl (path analysis/Monotone_framework.ml))))
     (module
      (obj_name analysis_and_optimization__Monotone_framework_sigs)
      (visibility public)
      (source
       (path Monotone_framework_sigs)
       (intf (path analysis/Monotone_framework_sigs.mli))))
     (module
      (obj_name analysis_and_optimization__Optimize)
      (visibility public)
      (source
       (path Optimize)
       (intf (path analysis/Optimize.mli))
       (impl (path analysis/Optimize.ml))))
     (module
      (obj_name analysis_and_optimization__Partial_evaluator)
      (visibility public)
      (source
       (path Partial_evaluator)
       (impl (path analysis/Partial_evaluator.ml))))
     (module
      (obj_name analysis_and_optimization__Pedantic_analysis)
      (visibility public)
      (source
       (path Pedantic_analysis)
       (intf (path analysis/Pedantic_analysis.mli))
       (impl (path analysis/Pedantic_analysis.ml))))
     (module
      (obj_name analysis_and_optimization__Pedantic_dist_warnings)
      (visibility public)
      (source
       (path Pedantic_dist_warnings)
       (impl (path analysis/Pedantic_dist_warnings.ml))))))
   (wrapped true))))
(library
 (name stanc.common)
 (kind normal)
 (archives (byte common/common.cma) (native common/common.cmxa))
 (plugins (byte common/common.cma) (native common/common.cmxs))
 (native_archives common/common.a)
 (requires
  core
  str
  fmt
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_enumerate.runtime-lib
  ppx_hash.runtime-lib
  ppx_here.runtime-lib
  ppx_assert.runtime-lib
  ppx_bench.runtime-lib
  bin_prot
  fieldslib
  ppx_inline_test.config
  ppx_inline_test.runtime-lib
  ppx_module_timer.runtime
  ppx_stable_witness.runtime
  typerep
  variantslib
  ppx_expect.collector
  ppx_expect.config
  ppx_log.types
  base_quickcheck.ppx_quickcheck.runtime
  base_quickcheck
  ppx_deriving.runtime)
 (main_module_name Common)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name common)
     (visibility public)
     (kind alias)
     (source (path Common) (impl (path common/common.ml-gen))))
    (name Common)
    (modules
     (module
      (obj_name common__Fixed)
      (visibility public)
      (source (path Fixed) (impl (path common/Fixed.ml))))
     (module
      (obj_name common__Foldable)
      (visibility public)
      (source (path Foldable) (impl (path common/Foldable.ml))))
     (module
      (obj_name common__Gensym)
      (visibility public)
      (source
       (path Gensym)
       (intf (path common/Gensym.mli))
       (impl (path common/Gensym.ml))))
     (module
      (obj_name common__ICE)
      (visibility public)
      (source (path ICE) (impl (path common/ICE.ml))))
     (module
      (obj_name common__Pattern)
      (visibility public)
      (source (path Pattern) (impl (path common/Pattern.ml))))
     (module
      (obj_name common__Pretty)
      (visibility public)
      (source (path Pretty) (impl (path common/Pretty.ml))))
     (module
      (obj_name common__Specialized)
      (visibility public)
      (source (path Specialized) (impl (path common/Specialized.ml))))))
   (wrapped true))))
(library
 (name stanc.frontend)
 (kind normal)
 (archives (byte frontend/frontend.cma) (native frontend/frontend.cmxa))
 (plugins (byte frontend/frontend.cma) (native frontend/frontend.cmxs))
 (native_archives frontend/frontend.a)
 (requires
  core
  re
  menhirLib
  fmt
  stanc.middle
  stanc.common
  yojson
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_enumerate.runtime-lib
  ppx_hash.runtime-lib
  ppx_here.runtime-lib
  ppx_assert.runtime-lib
  ppx_bench.runtime-lib
  bin_prot
  fieldslib
  ppx_inline_test.config
  ppx_inline_test.runtime-lib
  ppx_module_timer.runtime
  ppx_stable_witness.runtime
  typerep
  variantslib
  ppx_expect.collector
  ppx_expect.config
  ppx_log.types
  base_quickcheck.ppx_quickcheck.runtime
  base_quickcheck
  ppx_deriving.runtime)
 (main_module_name Frontend)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name frontend)
     (visibility public)
     (kind alias)
     (source (path Frontend) (impl (path frontend/frontend.ml-gen))))
    (name Frontend)
    (modules
     (module
      (obj_name frontend__Ast)
      (visibility public)
      (source (path Ast) (impl (path frontend/Ast.ml))))
     (module
      (obj_name frontend__Ast_to_Mir)
      (visibility public)
      (source
       (path Ast_to_Mir)
       (intf (path frontend/Ast_to_Mir.mli))
       (impl (path frontend/Ast_to_Mir.ml))))
     (module
      (obj_name frontend__Canonicalize)
      (visibility public)
      (source
       (path Canonicalize)
       (intf (path frontend/Canonicalize.mli))
       (impl (path frontend/Canonicalize.ml))))
     (module
      (obj_name frontend__Debugging)
      (visibility public)
      (source (path Debugging) (impl (path frontend/Debugging.ml))))
     (module
      (obj_name frontend__Deprecation_analysis)
      (visibility public)
      (source
       (path Deprecation_analysis)
       (intf (path frontend/Deprecation_analysis.mli))
       (impl (path frontend/Deprecation_analysis.ml))))
     (module
      (obj_name frontend__Environment)
      (visibility public)
      (source
       (path Environment)
       (intf (path frontend/Environment.mli))
       (impl (path frontend/Environment.ml))))
     (module
      (obj_name frontend__Errors)
      (visibility public)
      (source
       (path Errors)
       (intf (path frontend/Errors.mli))
       (impl (path frontend/Errors.ml))))
     (module
      (obj_name frontend__Info)
      (visibility public)
      (source
       (path Info)
       (intf (path frontend/Info.mli))
       (impl (path frontend/Info.ml))))
     (module
      (obj_name frontend__Input_warnings)
      (visibility public)
      (source
       (path Input_warnings)
       (intf (path frontend/Input_warnings.mli))
       (impl (path frontend/Input_warnings.ml))))
     (module
      (obj_name frontend__Lexer)
      (visibility public)
      (source (path Lexer) (impl (path frontend/lexer.ml))))
     (module
      (obj_name frontend__Parse)
      (visibility public)
      (source
       (path Parse)
       (intf (path frontend/Parse.mli))
       (impl (path frontend/Parse.ml))))
     (module
      (obj_name frontend__Parser)
      (visibility public)
      (source
       (path Parser)
       (intf (path frontend/parser.mli))
       (impl (path frontend/parser.ml))))
     (module
      (obj_name frontend__Parsing_errors)
      (visibility public)
      (source (path Parsing_errors) (impl (path frontend/parsing_errors.ml))))
     (module
      (obj_name frontend__Preprocessor)
      (visibility public)
      (source
       (path Preprocessor)
       (intf (path frontend/Preprocessor.mli))
       (impl (path frontend/Preprocessor.ml))))
     (module
      (obj_name frontend__Pretty_print_prog)
      (visibility public)
      (source
       (path Pretty_print_prog)
       (intf (path frontend/Pretty_print_prog.mli))
       (impl (path frontend/Pretty_print_prog.ml))))
     (module
      (obj_name frontend__Pretty_printing)
      (visibility public)
      (source
       (path Pretty_printing)
       (impl (path frontend/Pretty_printing.ml))))
     (module
      (obj_name frontend__Promotion)
      (visibility public)
      (source (path Promotion) (impl (path frontend/Promotion.ml))))
     (module
      (obj_name frontend__Semantic_error)
      (visibility public)
      (source
       (path Semantic_error)
       (intf (path frontend/Semantic_error.mli))
       (impl (path frontend/Semantic_error.ml))))
     (module
      (obj_name frontend__SignatureMismatch)
      (visibility public)
      (source
       (path SignatureMismatch)
       (intf (path frontend/SignatureMismatch.mli))
       (impl (path frontend/SignatureMismatch.ml))))
     (module
      (obj_name frontend__Typechecker)
      (visibility public)
      (source
       (path Typechecker)
       (intf (path frontend/Typechecker.mli))
       (impl (path frontend/Typechecker.ml))))
     (module
      (obj_name frontend__Warnings)
      (visibility public)
      (source
       (path Warnings)
       (intf (path frontend/Warnings.mli))
       (impl (path frontend/Warnings.ml))))))
   (wrapped true))))
(library
 (name stanc.middle)
 (kind normal)
 (archives (byte middle/middle.cma) (native middle/middle.cmxa))
 (plugins (byte middle/middle.cma) (native middle/middle.cmxs))
 (native_archives middle/middle.a)
 (requires
  core
  str
  fmt
  stanc.common
  re
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_enumerate.runtime-lib
  ppx_hash.runtime-lib
  ppx_here.runtime-lib
  ppx_assert.runtime-lib
  ppx_bench.runtime-lib
  bin_prot
  fieldslib
  ppx_inline_test.config
  ppx_inline_test.runtime-lib
  ppx_module_timer.runtime
  ppx_stable_witness.runtime
  typerep
  variantslib
  ppx_expect.collector
  ppx_expect.config
  ppx_log.types
  base_quickcheck.ppx_quickcheck.runtime
  base_quickcheck
  ppx_deriving.runtime)
 (main_module_name Middle)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name middle)
     (visibility public)
     (kind alias)
     (source (path Middle) (impl (path middle/middle.ml-gen))))
    (name Middle)
    (modules
     (module
      (obj_name middle__Expr)
      (visibility public)
      (source
       (path Expr)
       (intf (path middle/Expr.mli))
       (impl (path middle/Expr.ml))))
     (module
      (obj_name middle__Flag_vars)
      (visibility public)
      (source (path Flag_vars) (impl (path middle/Flag_vars.ml))))
     (module
      (obj_name middle__Fun_kind)
      (visibility public)
      (source (path Fun_kind) (impl (path middle/Fun_kind.ml))))
     (module
      (obj_name middle__Index)
      (visibility public)
      (source (path Index) (impl (path middle/Index.ml))))
     (module
      (obj_name middle__Internal_fun)
      (visibility public)
      (source (path Internal_fun) (impl (path middle/Internal_fun.ml))))
     (module
      (obj_name middle__Location)
      (visibility public)
      (source (path Location) (impl (path middle/Location.ml))))
     (module
      (obj_name middle__Location_span)
      (visibility public)
      (source (path Location_span) (impl (path middle/Location_span.ml))))
     (module
      (obj_name middle__Mem_pattern)
      (visibility public)
      (source (path Mem_pattern) (impl (path middle/Mem_pattern.ml))))
     (module
      (obj_name middle__Operator)
      (visibility public)
      (source (path Operator) (impl (path middle/Operator.ml))))
     (module
      (obj_name middle__Program)
      (visibility public)
      (source (path Program) (impl (path middle/Program.ml))))
     (module
      (obj_name middle__SizedType)
      (visibility public)
      (source (path SizedType) (impl (path middle/SizedType.ml))))
     (module
      (obj_name middle__Stan_math_signatures)
      (visibility public)
      (source
       (path Stan_math_signatures)
       (intf (path middle/Stan_math_signatures.mli))
       (impl (path middle/Stan_math_signatures.ml))))
     (module
      (obj_name middle__Stmt)
      (visibility public)
      (source
       (path Stmt)
       (intf (path middle/Stmt.mli))
       (impl (path middle/Stmt.ml))))
     (module
      (obj_name middle__Transformation)
      (visibility public)
      (source (path Transformation) (impl (path middle/Transformation.ml))))
     (module
      (obj_name middle__Type)
      (visibility public)
      (source (path Type) (impl (path middle/Type.ml))))
     (module
      (obj_name middle__UnsizedType)
      (visibility public)
      (source (path UnsizedType) (impl (path middle/UnsizedType.ml))))
     (module
      (obj_name middle__Utils)
      (visibility public)
      (source (path Utils) (impl (path middle/Utils.ml))))))
   (wrapped true))))
(library
 (name stanc.stan_math_backend)
 (kind normal)
 (archives
  (byte stan_math_backend/stan_math_backend.cma)
  (native stan_math_backend/stan_math_backend.cmxa))
 (plugins
  (byte stan_math_backend/stan_math_backend.cma)
  (native stan_math_backend/stan_math_backend.cmxs))
 (native_archives stan_math_backend/stan_math_backend.a)
 (requires
  core
  re
  fmt
  stanc.middle
  yojson
  ppx_sexp_conv.runtime-lib
  sexplib0
  ppx_compare.runtime-lib
  ppx_enumerate.runtime-lib
  ppx_hash.runtime-lib
  ppx_here.runtime-lib
  ppx_assert.runtime-lib
  ppx_bench.runtime-lib
  bin_prot
  fieldslib
  ppx_inline_test.config
  ppx_inline_test.runtime-lib
  ppx_module_timer.runtime
  ppx_stable_witness.runtime
  typerep
  variantslib
  ppx_expect.collector
  ppx_expect.config
  ppx_log.types
  base_quickcheck.ppx_quickcheck.runtime
  base_quickcheck
  ppx_deriving.runtime)
 (main_module_name Stan_math_backend)
 (modes byte native)
 (obj_dir (private_dir .private))
 (modules
  (wrapped
   (group
    (alias
     (obj_name stan_math_backend)
     (visibility public)
     (kind alias)
     (source
      (path Stan_math_backend)
      (impl (path stan_math_backend/stan_math_backend.ml-gen))))
    (name Stan_math_backend)
    (modules
     (module
      (obj_name stan_math_backend__Cpp)
      (visibility public)
      (source (path Cpp) (impl (path stan_math_backend/Cpp.ml))))
     (module
      (obj_name stan_math_backend__Cpp_Json)
      (visibility private)
      (source
       (path Cpp_Json)
       (intf (path stan_math_backend/Cpp_Json.mli))
       (impl (path stan_math_backend/Cpp_Json.ml))))
     (module
      (obj_name stan_math_backend__Cpp_str)
      (visibility private)
      (source
       (path Cpp_str)
       (intf (path stan_math_backend/Cpp_str.mli))
       (impl (path stan_math_backend/Cpp_str.ml))))
     (module
      (obj_name stan_math_backend__Lower_expr)
      (visibility private)
      (source (path Lower_expr) (impl (path stan_math_backend/Lower_expr.ml))))
     (module
      (obj_name stan_math_backend__Lower_functions)
      (visibility private)
      (source
       (path Lower_functions)
       (intf (path stan_math_backend/Lower_functions.mli))
       (impl (path stan_math_backend/Lower_functions.ml))))
     (module
      (obj_name stan_math_backend__Lower_program)
      (visibility public)
      (source
       (path Lower_program)
       (intf (path stan_math_backend/Lower_program.mli))
       (impl (path stan_math_backend/Lower_program.ml))))
     (module
      (obj_name stan_math_backend__Lower_stmt)
      (visibility private)
      (source (path Lower_stmt) (impl (path stan_math_backend/Lower_stmt.ml))))
     (module
      (obj_name stan_math_backend__Mangle)
      (visibility private)
      (source
       (path Mangle)
       (intf (path stan_math_backend/Mangle.mli))
       (impl (path stan_math_backend/Mangle.ml))))
     (module
      (obj_name stan_math_backend__Numbering)
      (visibility private)
      (source
       (path Numbering)
       (intf (path stan_math_backend/Numbering.mli))
       (impl (path stan_math_backend/Numbering.ml))))
     (module
      (obj_name stan_math_backend__Transform_Mir)
      (visibility public)
      (source
       (path Transform_Mir)
       (intf (path stan_math_backend/Transform_Mir.mli))
       (impl (path stan_math_backend/Transform_Mir.ml))))))
   (wrapped true))))
