Flagged_data (mina_base.Mina_base.Zkapp_basic.Flagged

type ('flag, 'a) t = {

flag : 'flag;

data : 'a;

}

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

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

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

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

module Fields : sig ... end

val typ : 
  ( 'a,
    'b,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( 'c,
    'd,
    Backend.Tick.Field.t,
    ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
    Snarky_backendless.Types.Typ.t ->
  ( ( 'e, 'f ) t, ( 'g, 'h ) t ) Snark_params.Tick.Typ.t

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