dependency graph

[mimoo]

running dune-deps here's what I got:

digraph {
  "exe:./sponge/test_vectors/dune:0" [label="main",shape=diamond]
  "lib:base" [label="base",style=filled]
  "lib:base64" [label="base64",style=filled]
  "lib:bignum" [label="bignum",style=filled]
  "lib:bignum.bigint" [label="bignum.bigint",style=filled]
  "lib:bitstring_lib" [label="bitstring_lib"]
  "lib:core_kernel" [label="core_kernel",style=filled]
  "lib:digestif" [label="digestif",style=filled]
  "lib:fold_lib" [label="fold_lib"]
  "lib:group_map" [label="group_map"]
  "lib:h_list" [label="h_list"]
  "lib:h_list.ppx" [label="h_list.ppx"]
  "lib:interval_union" [label="interval_union"]
  "lib:num" [label="num",style=filled]
  "lib:ppx_snarky" [label="ppx_snarky"]
  "lib:ppx_tools" [label="ppx_tools",style=filled]
  "lib:ppxlib" [label="ppxlib",style=filled]
  "lib:snarkette" [label="snarkette"]
  "lib:snarky" [label="snarky"]
  "lib:snarky.backendless" [label="snarky.backendless"]
  "lib:snarky.intf" [label="snarky.intf"]
  "lib:snarky_curve" [label="snarky_curve"]
  "lib:snarky_integer" [label="snarky_integer"]
  "lib:snarky_intf" [label="snarky_intf",style=filled]
  "lib:snarky_signature" [label="snarky_signature"]
  "lib:snarky_tests" [label="snarky_tests"]
  "lib:sponge" [label="sponge"]
  "lib:tuple_lib" [label="tuple_lib"]
  "lib:yojson" [label="yojson",style=filled]
  "exe:./sponge/test_vectors/dune:0" -> "lib:sponge"
  "exe:./sponge/test_vectors/dune:0" -> "lib:snarkette"
  "exe:./sponge/test_vectors/dune:0" -> "lib:core_kernel"
  "lib:bitstring_lib" -> "lib:core_kernel"
  "lib:bitstring_lib" -> "lib:tuple_lib"
  "lib:fold_lib" -> "lib:core_kernel"
  "lib:group_map" -> "lib:snarkette"
  "lib:group_map" -> "lib:core_kernel"
  "lib:h_list" -> "lib:base"
  "lib:h_list.ppx" -> "lib:ppxlib"
  "lib:h_list.ppx" -> "lib:base"
  "lib:interval_union" -> "lib:core_kernel"
  "lib:ppx_snarky" -> "lib:ppxlib"
  "lib:ppx_snarky" -> "lib:ppx_tools"
  "lib:ppx_snarky" -> "lib:core_kernel"
  "lib:snarkette" -> "lib:tuple_lib"
  "lib:snarkette" -> "lib:fold_lib"
  "lib:snarkette" -> "lib:num"
  "lib:snarkette" -> "lib:core_kernel"
  "lib:snarkette" -> "lib:bignum"
  "lib:snarky" -> "lib:base64"
  "lib:snarky" -> "lib:bignum"
  "lib:snarky" -> "lib:bitstring_lib"
  "lib:snarky" -> "lib:core_kernel"
  "lib:snarky" -> "lib:fold_lib"
  "lib:snarky" -> "lib:h_list"
  "lib:snarky" -> "lib:interval_union"
  "lib:snarky" -> "lib:snarky.backendless"
  "lib:snarky" -> "lib:snarky.intf"
  "lib:snarky" -> "lib:tuple_lib"
  "lib:snarky" -> "lib:yojson"
  "lib:snarky.backendless" -> "lib:bitstring_lib"
  "lib:snarky.backendless" -> "lib:core_kernel"
  "lib:snarky.backendless" -> "lib:h_list"
  "lib:snarky.backendless" -> "lib:interval_union"
  "lib:snarky.backendless" -> "lib:snarky_intf"
  "lib:snarky.backendless" -> "lib:bignum.bigint"
  "lib:snarky.intf" -> "lib:core_kernel"
  "lib:snarky.intf" -> "lib:bignum"
  "lib:snarky_curve" -> "lib:snarky.backendless"
  "lib:snarky_curve" -> "lib:digestif"
  "lib:snarky_curve" -> "lib:group_map"
  "lib:snarky_curve" -> "lib:core_kernel"
  "lib:snarky_integer" -> "lib:snarky.backendless"
  "lib:snarky_integer" -> "lib:core_kernel"
  "lib:snarky_signature" -> "lib:core_kernel"
  "lib:snarky_tests" -> "lib:snarky"
  "lib:sponge" -> "lib:core_kernel"
  "lib:tuple_lib" -> "lib:core_kernel"
}

[mimoo]

I guess what would be more useful is to see the dependency between the different modules in src/base instead

[mimoo]

❯ ocamldep -modules -all ./*          
./as_prover.ml: As_prover0 As_prover_intf Checked_ast Checked_intf Core_kernel Option
./as_prover.mli: As_prover_intf Checked_ast Checked_intf
./as_prover0.ml: Array Core_kernel Handle Monad_let Option Request Types
./as_prover_intf.ml: Cvar Handle Monad_let Request Types
./ast_runner.ml: Checked_ast Checked_intf Core_kernel Exn Printexc Printf Stdlib String Types
./backend_extended.ml: Backend_intf Bigint Bigstring Char Constraint Core_kernel Cvar Field Fn Hash Int Int64 List R1CS_constraint_system Snarky_intf Sys
./backend_intf.ml: Constraint Core_kernel Cvar Md5 Snarky_intf
./bin_prot_io.ml: Binable Bytes Core_kernel In_channel Out_channel
./boolean.ml:
./boolean.mli:
./checked.ml: As_prover_intf Checked_intf Constraint Core_kernel Let_syntax List Option Request Types
./checked_ast.ml: Array As_prover0 Checked Checked_intf Constraint Core_kernel Cvar Fn Handle Lazy Monad_let Option Provider Request Run_state Types
./checked_intf.ml: Base Constraint Cvar Handle Lazy Monad_let Request Run_state Types
./checked_runner.ml: Array As_prover As_prover_intf Ast_runner Backend_extended Checked_ast Checked_intf Constraint Constraint_system Core_kernel Cvar Field Fn Format Handle Lazy Monad_let Option R1CS_constraint_system Request Run_state Sexp Types
./constraint.ml: Base Core_kernel Fn List Option Snarky_intf
./constraint_system.ml: Backend_intf
./cvar.ml: Core_kernel Int List Map Mutable Snarky_intf
./enumerable.ml: Boolean Checked Constraint Core_kernel Field Int List Option Snark_intf Typ
./enumerable.mli: Enumerable_intf Snark_intf
./enumerable_intf.ml:
./free_monad.ml: Monad_let
./handle.ml:
./knapsack.ml: Bigint Boolean Checked Core_kernel Field List Snark_intf Typ
./knapsack.mli: Boolean Checked Field Snark_intf Typ
./merkle_tree.ml: Boolean Caml Core_kernel Let_syntax List Option Request Snark_intf Typ
./merkle_tree.mli: Boolean Checked Request Snark_intf Typ
./monad_let.ml: Core_kernel Monad
./monad_sequence.ml: Array Core_kernel List Monad_let
./number.ml: Bigint Boolean Core_kernel Field Int Let_syntax List Snark_intf
./number.mli: Number_intf Snark_intf
./number_intf.ml:
./pedersen.ml: Array Bitstring Bitstring_lib Boolean Checked Core_kernel Field Fn Four Interval_union Let_syntax List Option Or_error Quadruple Snark_intf Triple Tuple_lib Typ
./request.ml: Core_kernel
./request.mli:
./restrict_monad.ml: Monad_let
./run_state.ml: Constraint Constraint_system Core_kernel Cvar Option Request Snarky_intf Type_equal Unit
./run_state.mli: Base Constraint Constraint_system Cvar Request Snarky_intf
./runners.ml: Array As_prover_intf Backend_extended Bigint Checked_intf Checked_runner Constraint Core_kernel Cvar Field Fn List Option Or_error R1CS_constraint_system Request Result Run_state Typ Type_equal Types
./snark.ml: Backend_intf Knapsack Merkle_tree Snark0
./snark0.ml: Array As_prover As_prover0 As_prover_intf Ast_runner Backend_extended Backend_intf Base Basic Bigint Bitstring_lib Bool Boolean Caml Checked Checked_ast Checked_intf Checked_runner Constraint Core_kernel Cvar Enumerable Field Fn Handle Handler Int Internal Let_syntax List Monad_sequence Mutable Number Option Or_error Perform Proof_inputs Quickcheck R1CS_constraint_system Ref Request Run_state Runners Snark_intf Stdlib Typ Types Unsafe Utils Vector Z
./snark0.mli: Backend_intf Snark_intf
./snark_intf.ml: As_prover Bigint Bitstring_lib Boolean Checked Checked_ast Constraint Core_kernel Cvar Enumerable_intf Field H_list Lazy Md5 Monad_let Monad_sequence Number_intf Or_error Request Run_state Sexp Snarky_intf Stringable Typ Types
./snarky_backendless.ml: As_prover As_prover0 As_prover_intf Backend_extended Backend_intf Bin_prot_io Boolean Checked_ast Checked_intf Checked_runner Constraint Constraint_system Cvar Enumerable Enumerable_intf Free_monad H_list Handle Knapsack Merkle_tree Monad_let Monad_sequence Number Number_intf Pedersen Request Restrict_monad Run_state Snark Snark0 Snark_intf Snarky_intf Typ Types
./typ.ml: Array As_prover As_prover_intf Checked_ast Checked_intf Core_kernel Cvar H_list List T Types
./types.ml: Cvar Request
./utils.ml: As_prover_intf Backend_extended Checked_intf Core_kernel Cvar