Test_global_constants (octez-protocol-alpha-libs.Tezos_alpha_test_helpers.Test_global

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

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

val assert_expr_equal : 
  string ->
  Tezos_protocol_alpha.Protocol.Script_repr.expr ->
  Tezos_protocol_alpha.Protocol.Script_repr.expr ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

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

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

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

val assume_expr_not_too_large : 
  Tezos_raw_protocol_alpha.Michelson_v1_primitives.prim
    Tezos_micheline.Micheline.canonical ->
  unit

Filters out values that would cause register

module Generators : sig ... end