Checked (snark_params.Snark_params.Tick.Field.Checked)

val mul : 
  Var.t ->
  Var.t ->
  ( Var.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

val square : 
  Var.t ->
  ( Var.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

val div : 
  Var.t ->
  Var.t ->
  ( Var.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

val inv : 
  Var.t ->
  ( Var.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

val is_square : 
  Var.t ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val sqrt : 
  Var.t ->
  ( Var.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

val sqrt_check : 
  Var.t ->
  ( Var.t
    * Backend.Tick.Field.t Snarky_backendless.Cvar.t
        Snarky_backendless.Boolean.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val equal : 
  Var.t ->
  Var.t ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val unpack : 
  Var.t ->
  length:int ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
      list,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val unpack_flagged : 
  Var.t ->
  length:int ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
      list
    * [ `Success of
          Backend.Tick.Field.t Snarky_backendless.Cvar.t
            Snarky_backendless.Boolean.t ],
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val unpack_full : 
  Var.t ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
      Bitstring_lib.Bitstring.Lsb_first.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val parity : 
  ?length:int ->
  Var.t ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val choose_preimage_var : 
  Var.t ->
  length:int ->
  ( Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
      list,
    Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

type comparison_result = {

less : Backend.Tick.Field.t Snarky_backendless.Cvar.t
         Snarky_backendless.Boolean.t;

less_or_equal : Backend.Tick.Field.t Snarky_backendless.Cvar.t
                  Snarky_backendless.Boolean.t;

}

val compare : 
  bit_length:int ->
  Var.t ->
  Var.t ->
  ( comparison_result, Backend.Tick.Field.t )
    Snarky_backendless.Checked_runner.Simple.t

val if_ : 
  Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t ->
  then_:Var.t ->
  else_:Var.t ->
  ( Var.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

val (+) : Var.t -> Var.t -> Var.t

val (-) : Var.t -> Var.t -> Var.t

val (*) : Backend.Tick.Field.t -> Var.t -> Var.t

module Unsafe : sig ... end

module Assert : sig ... end