Flagged_option (mina_base.Mina_base.Zkapp_basic.Flagged

type ('bool, 'a) t = {

is_some : 'bool;

data : 'a;

}

val to_hlist : ( 'bool, 'a ) t -> ( unit, 'bool -> 'a -> unit ) H_list.t

val of_hlist : ( unit, 'bool -> 'a -> unit ) H_list.t -> ( 'bool, 'a ) t

val data : ( 'a, 'b ) t -> 'c

val is_some : ( 'a, 'b ) t -> 'c

module Fields : sig ... end

val to_input' : 
  field_of_bool:( 'a -> 'b ) ->
  ( 'c, 'd ) t ->
  f:( 'e -> 'f Random_oracle_input.Chunked.t ) ->
  'f Random_oracle_input.Chunked.t

val to_input : 
  ( bool, 'a ) t ->
  default:'b ->
  f:( 'c -> 'd Random_oracle_input.Chunked.t ) ->
  field_of_bool:( bool -> 'd ) ->
  'd Random_oracle_input.Chunked.t

val of_option : 'a option -> default:'b -> ( bool, 'c ) t

val to_option : ( bool, 'a ) t -> 'b option

val map : f:( 'a -> 'b ) -> ( 'c, 'd ) t -> ( 'e, 'f ) t

val if_ : 
  if_:( Snark_params.Tick.Boolean.var -> then_:'var -> else_:'var -> 'var ) ->
  Snark_params.Tick.Boolean.var ->
  then_:( Snark_params.Tick.Boolean.var, 'var0 ) t ->
  else_:( Snark_params.Tick.Boolean.var, 'var1 ) t ->
  ( Snark_params.Tick.Boolean.var, 'var2 ) t

val typ : 
  ( 'a,
    'b,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( ( Snark_params.Tick.Boolean.var, 'c ) t,
    ( Snark_params.Tick.Boolean.value, 'd ) t )
    Snark_params.Tick.Typ.t

val option_typ : 
  default:'a ->
  ( 'b,
    'c,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( ( Snark_params.Tick.Boolean.var, 'b ) t, 'd option )
    Snark_params.Tick.Typ.t