Test_global_constants (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test_helpers.Test_global

val create_context : 
  unit ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.t,
    Mavryk_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val expr_to_hash : 
  Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr ->
  (Mavryk_protocol_001_PtAtLas.Protocol.Script_expr_hash.t,
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.error
      Mavryk_protocol_environment_001_PtAtLas.Error_monad.trace)
    Stdlib.result

val assert_expr_equal : 
  string ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_repr.expr ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val assert_proto_error_id : 
  string ->
  string ->
  ('a, Mavryk_base.TzPervasives.tztrace) Stdlib.result ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t

val assert_ok_lwt : ('a, 'b) Stdlib.result Lwt.t -> 'c

val assert_ok : ('a, 'b) Stdlib.result -> 'c

val assume_expr_not_too_large : 
  Mavryk_raw_protocol_001_PtAtLas.Michelson_v1_primitives.prim
    Mavryk_micheline.Micheline.canonical ->
  unit

Filters out values that would cause register

module Generators : sig ... end