Module Encodings_benchmarks.BLS

val check : unit -> unit