tezos-protocol-plugin-009-PsFLoren-registerer 12.3

type config

val config_encoding : config Data_encoding.t

val default_config : config

type state

val init : 
  config ->
  ?validation_state:Proto.validation_state ->
  predecessor:Tezos_base.Block_header.t ->
  unit ->
  (state, Tezos_error_monad.TzCore.error list) result Lwt.t

val on_flush : 
  config ->
  state ->
  ?validation_state:Proto.validation_state ->
  predecessor:Tezos_base.Block_header.t ->
  unit ->
  (state, Tezos_error_monad.TzCore.error list) result Lwt.t

val remove : filter_state:state -> Tezos_crypto.Operation_hash.t -> state

val precheck : 
  config ->
  filter_state:state ->
  validation_state:Proto.validation_state ->
  Tezos_crypto.Operation_hash.t ->
  Proto.operation ->
  nb_successful_prechecks:int ->
  [ `Branch_delayed of Tezos_error_monad.TzCore.error list
  | `Branch_refused of Tezos_error_monad.TzCore.error list
  | `Outdated of Tezos_error_monad.TzCore.error list
  | `Passed_precheck of
    state
    * [ `No_replace
      | `Replace of
        Tezos_crypto.Operation_hash.t
        * Tezos_shell.Prevalidator_classification.error_classification ]
  | `Refused of Tezos_error_monad.TzCore.error list
  | `Undecided ]
    Lwt.t

val pre_filter : 
  config ->
  filter_state:state ->
  ?validation_state_before:Proto.validation_state ->
  Proto.operation ->
  [ `Branch_delayed of Tezos_error_monad.TzCore.error list
  | `Branch_refused of Tezos_error_monad.TzCore.error list
  | `Outdated of Tezos_error_monad.TzCore.error list
  | `Passed_prefilter of Tezos_shell.Prevalidator_pending_operations.priority
  | `Refused of Tezos_error_monad.TzCore.error list ]
    Lwt.t

val post_filter : 
  config ->
  filter_state:state ->
  validation_state_before:Proto.validation_state ->
  validation_state_after:Proto.validation_state ->
  (Proto.operation * Proto.operation_receipt) ->
  [ `Passed_postfilter of state
  | `Refused of Tezos_error_monad.TzCore.error list ]
    Lwt.t

package tezos-protocol-plugin-009-PsFLoren-registerer