tezos-protocol-plugin-009-PsFLoren 9.7

type nanotez = Q.t

val nanotez_enc : nanotez Data_encoding.t

type config = {

minimal_fees : Tezos_protocol_009_PsFLoren.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_009_PsFLoren.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 : 
  ?ctxt:'a ->
  'b Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.contents_list ->
  (Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Tez.tez
   * Tezos_raw_protocol_009_PsFLoren.Fixed_point_repr.integral_tag
       Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Gas.Arith.t,
    Tezos_protocol_environment_009_PsFLoren__Environment.Error_monad.error
      Tezos_protocol_environment_009_PsFLoren__Environment.Error_monad.trace)
    Stdlib.result

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

| Fees_too_low

val pre_filter_manager : 
  't. config ->
  't Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Kind.manager
    Tezos_protocol_009_PsFLoren.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_009_PsFLoren.Protocol.Environment.Error_monad.error +=

| Outdated_endorsement

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

| Wrong_operation

val pre_filter : 
  config ->
  ?validation_state_before:
    Tezos_protocol_009_PsFLoren.Protocol.validation_state ->
  Tezos_protocol_009_PsFLoren.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_009_PsFLoren.Protocol.Alpha_context.t ->
  't Tezos_protocol_009_PsFLoren.Protocol.Alpha_context.Kind.manager
    Tezos_protocol_009_PsFLoren.Protocol.Apply_results.contents_result_list ->
  config ->
  bool Lwt.t

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

package tezos-protocol-plugin-009-PsFLoren