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

val names : string list

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

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

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

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

val make_creator : 
  blockchain_state:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'blockchain_state )
        Fieldslib.Field.t ->
      'acc__0 ->
      ( 'input__ -> 'blockchain_state ) * 'acc__1 ) ->
  consensus_transition:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'consensus_transition )
        Fieldslib.Field.t ->
      'acc__1 ->
      ( 'input__ -> 'consensus_transition ) * 'acc__2 ) ->
  pending_coinbase_update:
    ( ( ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update )
          t,
        'pending_coinbase_update )
        Fieldslib.Field.t ->
      'acc__2 ->
      ( 'input__ -> 'pending_coinbase_update ) * 'acc__3 ) ->
  'acc__0 ->
  ( 'input__ ->
  ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t )
  * 'acc__3

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

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

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

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

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

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

val map_poly : 
  ( [< `Read | `Set_and_create ],
    ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t,
    'x0 )
    Fieldslib.Field.user ->
  'x0 list

module Direct : sig ... end