Source file `aplonk.ml`

1
2
3
4
5
6
7
8
9
10
(* generated by dune *)

(** @canonical Aplonk.Circuit *)
module Circuit = Aplonk__Circuit

(** @canonical Aplonk.Main_protocol *)
module Main_protocol = Aplonk__Main_protocol

(** @canonical Aplonk.Pi_parameters *)
module Pi_parameters = Aplonk__Pi_parameters