tezos-protocol-plugin-alpha 10.2

type nanotez = Q.t

val nanotez_enc : nanotez Data_encoding.t

type config = {

minimal_fees : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t;
minimal_nanotez_per_gas_unit : nanotez;
minimal_nanotez_per_byte : nanotez;
allow_script_failure : bool;

}

val default_minimal_fees : Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez

val default_minimal_nanotez_per_gas_unit : Q.t

val default_minimal_nanotez_per_byte : Q.t

val config_encoding : config Data_encoding.t

val default_config : config

val get_manager_operation_gas_and_fee : 
  'a Tezos_protocol_alpha.Protocol.Alpha_context.contents_list ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Tez.tez
   * Tezos_raw_protocol_alpha.Saturation_repr.may_saturate
       Tezos_raw_protocol_alpha.Saturation_repr.t,
    Tezos_protocol_environment_alpha__Environment.Error_monad.error
      Tezos_protocol_environment_alpha__Environment.Error_monad.trace)
    result

type Tezos_protocol_alpha.Protocol.Environment.Error_monad.error +=

| Fees_too_low

val pre_filter_manager : 
  't. config ->
  't Tezos_protocol_alpha.Protocol.Alpha_context.Kind.manager
    Tezos_protocol_alpha.Protocol.Alpha_context.contents_list ->
  int ->
  [ `Branch_delayed of Tezos_error_monad.TzCore.error list
  | `Branch_refused of Tezos_error_monad.TzCore.error list
  | `Refused of Tezos_error_monad.TzCore.error list
  | `Undecided ]

type Tezos_protocol_alpha.Protocol.Environment.Error_monad.error +=

| Outdated_endorsement

type Tezos_protocol_alpha.Protocol.Environment.Error_monad.error +=

| Wrong_operation

val pre_filter : 
  config ->
  ?validation_state_before:Tezos_protocol_alpha.Protocol.validation_state ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Operation.packed_protocol_data ->
  [ `Branch_delayed of Tezos_error_monad.TzCore.error list
  | `Branch_refused of Tezos_error_monad.TzCore.error list
  | `Refused of Tezos_error_monad.TzCore.error list
  | `Undecided ]

val post_filter_manager : 
  't. Tezos_protocol_alpha.Protocol.Alpha_context.t ->
  't Tezos_protocol_alpha.Protocol.Alpha_context.Kind.manager
    Tezos_protocol_alpha.Protocol.Apply_results.contents_result_list ->
  config ->
  bool Lwt.t

val post_filter : 
  config ->
  validation_state_before:'a ->
  validation_state_after:Tezos_protocol_alpha.Protocol.validation_state ->
  ('b * Tezos_protocol_alpha.Protocol.Apply_results.packed_operation_metadata) ->
  bool Lwt.t

package tezos-protocol-plugin-alpha