Module Make_str.Checked

include module type of struct include Pickles.Impls.Step.Field end
module Constant : sig ... end
val length : t -> int
val var_indices : t -> int list
val to_constant_and_terms : t -> Pickles.Impls.Step.field option * (Pickles.Impls.Step.field * int) list
val constant : Pickles.Impls.Step.field -> t
val to_constant : t -> Pickles.Impls.Step.field option
val linear_combination : (Pickles.Impls.Step.field * t) list -> t
val sum : t list -> t
val add : t -> t -> t
val negate : t -> t
val sub : t -> t -> t
val scale : t -> Pickles.Impls.Step.field -> t
val project : Pickles.Impls.Step.Boolean.var list -> t
val mul : t -> t -> t
val square : t -> t
val div : t -> t -> t
val inv : t -> t
val sqrt : t -> t
val sqrt_check : t -> t * Pickles.Impls.Step.Boolean.var
val unpack : t -> length:int -> Pickles.Impls.Step.Boolean.var list
val unpack_flagged : t -> length:int -> Pickles.Impls.Step.Boolean.var list * [ `Success of Pickles.Impls.Step.Boolean.var ]
val parity : ?length:int -> t -> Pickles.Impls.Step.Boolean.var
val choose_preimage_var : t -> length:int -> Pickles.Impls.Step.Boolean.var list
type comparison_result = {
less : Pickles.Impls.Step.Boolean.var;
less_or_equal : Pickles.Impls.Step.Boolean.var;
}
val compare : bit_length:int -> t -> t -> comparison_result
val if_ : Pickles.Impls.Step.Boolean.var -> then_:t -> else_:t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
module Unsafe : sig ... end
module Assert : sig ... end
val size_in_bits : int
val size : Snarky_backendless__Snark_intf.Bignum_bigint.t
val of_int : int -> t
val one : t
val zero : t
val (/) : t -> t -> t
val to_input : hash_zkapp_command: ( 'zkapp_command -> Zkapp_command.Digest.Forest.Checked.t ) -> ( Token_id.Checked.t, 'zkapp_command0 ) frame -> Pickles.Impls.Step.Field.t Random_oracle.Input.Chunked.t