Assert (mavkit-protocol-002-PtBoreas-libs.Mavryk_002_PtBoreas_test

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

val test_error_encodings : 
  Mavryk_protocol_environment_002_PtBoreas.Error_monad.error ->
  unit

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

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

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

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

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

val not_equal : 
  loc:string ->
  ('a -> 'a -> bool) ->
  string ->
  (Stdlib.Format.formatter -> 'a0 -> unit) ->
  'a1 ->
  'a2 ->
  unit Mavryk_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 Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

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

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

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

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

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

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

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

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

val equal_q : 
  loc:string ->
  Q.t ->
  Q.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

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

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

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

val equal_mav : 
  loc:string ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val not_equal_mav : 
  loc:string ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

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

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

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

val is_none : 
  loc:string ->
  pp:(Stdlib.Format.formatter -> 'a -> unit) ->
  'b option ->
  unit Mavryk_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 Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

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

val balance_is : 
  loc:string ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  (unit, Mavryk_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 ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  (unit, Mavryk_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 ->
      Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t
        Mavryk_protocol_002_PtBoreas.Environment.Error_monad.tzresult) ->
  loc:string ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  'c ->
  'd ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val balance_was_credited : 
  loc:string ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

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

val balance_was_debited : 
  loc:string ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

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

val frozen_bonds_was_credited : 
  loc:string ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

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

val frozen_bonds_was_debited : 
  loc:string ->
  Mavryk_002_PtBoreas_test_helpers__Context.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  Mavryk_protocol_002_PtBoreas.Protocol.Alpha_context.Tez.t ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

frozen_bonds_was_credited ~loc ctxt contract old_balance amount checks that contract's frozen bonds was credited amount mav 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 Mavryk_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 Mavryk_base.TzPervasives.tzresult Lwt.t

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

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

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