octez-protocol-018-Proxford-libs 19.1

val error : 
  loc:string ->
  ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result ->
  (Tezos_error_monad.TzCore.error -> bool) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val test_error_encodings : 
  Tezos_protocol_environment_018_Proxford.Error_monad.error ->
  unit

val proto_error : 
  loc:string ->
  ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result ->
  (Tezos_protocol_018_Proxford.Environment.Error_monad.error -> bool) ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val proto_error_with_info : 
  ?error_info_field:[< `Description | `Id | `Message | `Title Title ] ->
  loc:string ->
  ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result ->
  Tezos_base.TzPervasives.String.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Stdlib.Format.formatter -> 'a0 -> unit) ->
  'a1 ->
  'a2 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val leq : 
  loc:string ->
  ('a -> 'a -> int) ->
  string ->
  (Stdlib.Format.formatter -> 'a0 -> unit) ->
  'a1 ->
  'a2 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val lt : 
  loc:string ->
  ('a -> 'a -> int) ->
  string ->
  (Stdlib.Format.formatter -> 'a0 -> unit) ->
  'a1 ->
  'a2 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Stdlib.Format.formatter -> 'a0 -> unit) ->
  'a1 ->
  'a2 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

module Int32 : sig ... end

module Int64 : sig ... end

val equal_char : 
  loc:string ->
  Stdlib.Char.t ->
  Stdlib.Char.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_int : 
  loc:string ->
  int ->
  int ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_int : 
  loc:string ->
  int ->
  int ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val leq_int : 
  loc:string ->
  int ->
  int ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val leq_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val lt_int32 : 
  loc:string ->
  int32 ->
  int32 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val leq_int64 : 
  loc:string ->
  int64 ->
  int64 ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_z : 
  loc:string ->
  Z.t ->
  Z.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_bool : 
  loc:string ->
  bool ->
  bool ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_bool : 
  loc:string ->
  bool ->
  bool ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val is_true : loc:string -> bool -> unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_string : 
  loc:string ->
  string ->
  string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_string : 
  loc:string ->
  string ->
  string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_tez : 
  loc:string ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_tez : 
  loc:string ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_pkh : 
  loc:string ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_pkh : 
  loc:string ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  Tezos_base.TzPervasives.Signature.Public_key_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_protocol_hash : 
  loc:string ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_protocol_hash : 
  loc:string ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val get_some : 
  loc:string ->
  'a option ->
  'b Tezos_base.TzPervasives.tzresult Lwt.t

val is_none : 
  loc:string ->
  pp:(Stdlib.Format.formatter -> 'a -> unit) ->
  'b option ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val equal_result : 
  loc:string ->
  pp_ok:(Stdlib.Format.formatter -> 'a -> unit) ->
  pp_error:(Stdlib.Format.formatter -> 'b -> unit) ->
  ('c -> 'c -> bool) ->
  ('d -> 'd -> bool) ->
  ('c, 'd) Stdlib.result ->
  ('c, 'd) Stdlib.result ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val is_error : 
  loc:string ->
  pp:(Stdlib.Format.formatter -> 'a -> unit) ->
  ('b, 'c) Stdlib.result ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val get_ok : 
  __LOC__:string ->
  ('a, Tezos_base.TzPervasives.tztrace) Stdlib.result ->
  'b Tezos_base.TzPervasives.tzresult Lwt.t

val contract_property_is : 
  ('a ->
    'b ->
    (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t,
      Tezos_base.TzPervasives.tztrace)
      Stdlib.result
      Lwt.t) ->
  loc:string ->
  'c ->
  'd ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

val balance_is : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

balance_is b c amount checks that the current balance b of contract c is amount.

val frozen_bonds_is : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

frozen_bonds_is b c amount checks that the current frozen bonds of contract c is amount.

val balance_or_frozen_bonds_was_operated : 
  is_balance:bool ->
  operand:
    ('a ->
      'b ->
      Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t
        Tezos_protocol_018_Proxford.Environment.Error_monad.tzresult) ->
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  'c ->
  'd ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val balance_was_credited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

balance_was_credited ~loc ctxt contract old_balance amount checks that contract's balance was credited amount tez in comparison to old_balance.

val balance_was_debited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

balance_was_credited ~loc ctxt contract old_balance amount checks that contract's balance was debited amount tez in comparison to old_balance.

val frozen_bonds_was_credited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

frozen_bonds_was_credited ~loc ctxt contract old_balance amount checks that contract's frozen bonds was credited amount tez in comparison to old_balance.

val frozen_bonds_was_debited : 
  loc:string ->
  Tezos_018_Proxford_test_helpers__Context.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

frozen_bonds_was_credited ~loc ctxt contract old_balance amount checks that contract's frozen bonds was credited amount tez in comparison to old_balance.

val pp_print_list : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a list ->
  unit

val assert_equal_list : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  'a list ->
  'a list ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val assert_equal_list_opt : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Stdlib.Format.formatter -> 'b -> unit) ->
  'a list option ->
  'a list option ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val to_json_string : 'a Data_encoding.Encoding.t -> 'b -> string

val equal_with_encoding : 
  loc:string ->
  'a Data_encoding.Encoding.t ->
  'b ->
  'c ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val not_equal_with_encoding : 
  loc:string ->
  'a Data_encoding.Encoding.t ->
  'b ->
  'c ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

package octez-protocol-018-Proxford-libs