As_prover0 (snarky.Snarky_backendless.As

type ('a, 'f) t = ( 'a, 'f ) Types.As_prover.t

module T : sig ... end

include module type of struct include T end

val run : ( 'a -> 'b ) -> 'c -> 'd

val get_state : 'a -> 'b -> 'c * 'd

val set_state : 'a -> 'b -> 'c -> 'd * unit

val modify_state : ( 'a -> 'b ) -> 'c -> 'd -> 'e * unit

val map2 : ( 'a -> 'b ) -> ( 'c -> 'd ) -> f:( 'e -> 'f -> 'g ) -> 'h -> 'i

val read_var : 'field Cvar.t -> ( 'field0, 'field0 ) t

val read : 
  ( 'var, 'value, 'field, 'a ) Types.Typ.t ->
  'var0 ->
  ( 'value0, 'field0 ) t

val (>>=) : ( 'a, 'e ) t -> ( 'a0 -> ( 'b, 'e0 ) t ) -> ( 'b0, 'e1 ) t

val (>>|) : ( 'a, 'e ) t -> ( 'a0 -> 'b ) -> ( 'b0, 'e0 ) t

module Monad_infix = T.Monad_infix

val bind : ( 'a, 'e ) t -> f:( 'a0 -> ( 'b, 'e0 ) t ) -> ( 'b0, 'e1 ) t

val return : 'a -> ( 'a0, 'b ) t

val map : ( 'a, 'e ) t -> f:( 'a0 -> 'b ) -> ( 'b0, 'e0 ) t

val join : ( ( 'a, 'e ) t, 'e0 ) t -> ( 'a0, 'e1 ) t

val ignore_m : ( 'a, 'e ) t -> ( unit, 'e0 ) t

val all : ( 'a, 'e ) t list -> ( 'a0 list, 'e0 ) t

val all_unit : ( unit, 'e ) t list -> ( unit, 'e0 ) t

module Let_syntax = T.Let_syntax

module Provider = T.Provider

module Handle = T.Handle