Module `Snarky_backendless.Snark_intf`

module Bignum_bigint = Bigint

module Constraint0 = Constraint

module Boolean0 = Boolean

module Typ0 = Typ

module As_prover0 = As_prover

module type Boolean_intf = sig ... end

module type Typ_intf = sig ... end

module type Constraint_intf = sig ... end

module type Field_var_intf = sig ... end

module type Field_checked_intf = sig ... end

module type Basic = sig ... end

The base interface to Snarky.

module type S = sig ... end

module type Run_basic = sig ... end

The imperative interface to Snarky.

module type Run = sig ... end