Source file filenames.ml

1
2
3
4
5
(* names for the public parameters files used for tests *)

let plonk_pp_file = "pp"

let meta_pp_file = "pp_meta"