Snarky_backendless.Snark_intf
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