Simple (snarky.Snarky_backendless.Checked

module Types : sig ... end

type 'f field = 'f

type ('a, 'f) t = ( 'a, 'f field ) Types.Checked.t

val eval : ( 'a, 'f ) t -> 'f0 field Run_state.t -> 'f0 field Run_state.t * 'a0

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

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

module Monad_infix : sig ... end

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

val return : 'a -> ( 'a0, 'b field ) Types.Checked.t

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

val join : 
  ( ( 'a, 'e field ) Types.Checked.t, 'e0 field ) Types.Checked.t ->
  ( 'a0, 'e1 field ) Types.Checked.t

val ignore_m : 
  ( 'a, 'e field ) Types.Checked.t ->
  ( unit, 'e0 field ) Types.Checked.t

val all : 
  ( 'a, 'e field ) Types.Checked.t list ->
  ( 'a0 list, 'e0 field ) Types.Checked.t

val all_unit : 
  ( unit, 'e field ) Types.Checked.t list ->
  ( unit, 'e0 field ) Types.Checked.t

module Let_syntax : sig ... end