Direct (mina_state.Mina_state.Snark_transition.Poly.Fields.Direct)

val iter : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  blockchain_state:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'blockchain_state ->
      unit ) ->
  consensus_transition:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'consensus_transition ->
      unit ) ->
  pending_coinbase_update:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'pending_coinbase_update ->
      unit ) ->
  unit

val fold : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  init:'acc__0 ->
  blockchain_state:
    ( 'acc__0 ->
      ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'blockchain_state ->
      'acc__1 ) ->
  consensus_transition:
    ( 'acc__1 ->
      ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'consensus_transition ->
      'acc__2 ) ->
  pending_coinbase_update:
    ( 'acc__2 ->
      ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'pending_coinbase_update ->
      'acc__3 ) ->
  'acc__3

val for_all : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  blockchain_state:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'blockchain_state ->
      bool ) ->
  consensus_transition:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'consensus_transition ->
      bool ) ->
  pending_coinbase_update:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'pending_coinbase_update ->
      bool ) ->
  bool

val exists : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  blockchain_state:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'blockchain_state ->
      bool ) ->
  consensus_transition:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'consensus_transition ->
      bool ) ->
  pending_coinbase_update:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'pending_coinbase_update ->
      bool ) ->
  bool

val to_list : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  blockchain_state:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'blockchain_state ->
      'elem__ ) ->
  consensus_transition:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'consensus_transition ->
      'elem__ ) ->
  pending_coinbase_update:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'pending_coinbase_update ->
      'elem__ ) ->
  'elem__ list

val map : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  blockchain_state:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'blockchain_state ->
      'blockchain_state ) ->
  consensus_transition:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'consensus_transition ->
      'consensus_transition ) ->
  pending_coinbase_update:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
      'pending_coinbase_update ->
      'pending_coinbase_update ) ->
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t

val set_all_mutable_fields : 
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t ->
  unit