Module Lifted_protocol.Mempool

type conflict_handler = existing_operation:(Tezos_crypto.Hashed.Operation_hash.t * operation) -> new_operation:(Tezos_crypto.Hashed.Operation_hash.t * operation) -> [ `Keep | `Replace ]
type operation_conflict = Tezos_protocol_environment_alpha.Lift(Tezos_protocol_alpha.Protocol).Mempool.operation_conflict =
  1. | Operation_conflict of {
    1. existing : Tezos_crypto.Hashed.Operation_hash.t;
    2. new_operation : Tezos_crypto.Hashed.Operation_hash.t;
    }
type add_result = Tezos_protocol_environment_alpha.Lift(Tezos_protocol_alpha.Protocol).Mempool.add_result =
  1. | Added
  2. | Replaced of {
    1. removed : Tezos_crypto.Hashed.Operation_hash.t;
    }
  3. | Unchanged
type add_error = Tezos_protocol_environment_alpha.Lift(Tezos_protocol_alpha.Protocol).Mempool.add_error =
  1. | Validation_error of Tezos_base.TzPervasives.Error_monad.tztrace
  2. | Add_conflict of operation_conflict
val encoding : t Tezos_base.TzPervasives.Data_encoding.t
val add_operation : ?check_signature:bool -> ?conflict_handler:conflict_handler -> validation_info -> t -> (Tezos_crypto.Hashed.Operation_hash.t * operation) -> (t * add_result, add_error) result Lwt.t
val remove_operation : t -> Tezos_crypto.Hashed.Operation_hash.t -> t
val merge : ?conflict_handler:conflict_handler -> t -> t -> (t, merge_error) result
val operations : t -> operation Tezos_crypto.Hashed.Operation_hash.Map.t
val init : Tezos_protocol_environment__.Environment_context.Context.t -> Tezos_crypto.Hashed.Chain_id.t -> head_hash:Tezos_crypto.Hashed.Block_hash.t -> head:Tezos_base.TzPervasives.Block_header.shell_header -> cache: [ `Force_load | `Load | `Lazy | `Inherited of Tezos_protocol_environment__.Environment_context.Context.block_cache * Tezos_crypto.Hashed.Context_hash.t ] -> (validation_info * t) Tezos_base.TzPervasives.tzresult Lwt.t