Backend_extended (snarky.Snarky_backendless.Backend

module Bignum_bigint = Bigint

type 'a json =
  [> `String of string
  | `Assoc of (string * 'a json) list
  | `List of 'a json list ] as 'a

Yojson-compatible JSON type.

module type S = sig ... end

module Make
  (Backend : Backend_intf.S) : 
  S
    with type Field.t = Backend.Field.t
     and type Field.Vector.t = Backend.Field.Vector.t
     and type Bigint.t = Backend.Bigint.t
     and type R1CS_constraint_system.t = Backend.R1CS_constraint_system.t