Zkapp_basic (mina_base.Mina_base.Zkapp

val field_of_bool : bool -> Snark_params.Tick.Field.t

val int_to_bits : length:int -> int -> bool list

val int_of_bits : bool list -> int

module Transition : sig ... end

module Flagged_data : sig ... end

module Flagged_option : sig ... end

module Set_or_keep : sig ... end

module Or_ignore : sig ... end

module Account_state : sig ... end

module F = Pickles.Backend.Tick.Field

val invalid_public_key : Signature_lib.Public_key.Compressed.t