Test_util (test_util.Test

module Make (Impl : Snarky_backendless.Snark_intf.S) : sig ... end

val triple_string : (bool * bool * bool) list -> string

val checked_to_unchecked : 
  ( 'a, 'b ) Snark_params.Tick.Typ.t ->
  ( 'c, 'd ) Snark_params.Tick.Typ.t ->
  ( 'e -> 'f Snark_params.Tick.Checked.t ) ->
  'g ->
  'h

val test_to_triples : 
  ( 'a, 'b ) Snark_params.Tick.Typ.t ->
  ( 'c -> (bool * bool * bool) Fold_lib.Fold.t ) ->
  ( 'd ->
    (Snark_params.Tick.Boolean.var
     * Snark_params.Tick.Boolean.var
     * Snark_params.Tick.Boolean.var)
      list
      Snark_params.Tick.Checked.t ) ->
  'e ->
  unit

val test_equal : 
  ?equal:( 'a -> 'a -> bool ) ->
  ( 'b, 'c ) Snark_params.Tick.Typ.t ->
  ( 'd, 'e ) Snark_params.Tick.Typ.t ->
  ( 'b -> 'd Snark_params.Tick.Checked.t ) ->
  ( 'f -> 'g ) ->
  'h ->
  unit

val arbitrary_string : len:int -> string

val with_randomness : int -> ( unit -> 'a ) -> 'b

val print_digest : string -> Base.unit

val check_serialization : 
  (module Core_kernel.Binable.S with type t = 't) ->
  't0 ->
  Core_kernel.String.t ->
  bool