Backend (snarky.Snarky.Snark.Run.Make.1-Backend)

module Field : Snarky_intf.Field.S

module Bigint : Snarky_intf.Bigint_intf.Extended with type field := Field.t

val field_size : Bigint.t

module R1CS_constraint_system : 
  Snarky_backendless.Backend_intf.Constraint_system_intf
    with module Field := Field