Mina_base.Zkapp_basic
val field_of_bool : bool -> Snark_params.Tick.Field.t
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