Mavryk_alpha_test_helpers.Big_map_helpersval make_big_map : 
  Block.t ->
  source:Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  key_type:string ->
  value_type:string ->
  (Mavryk_protocol_alpha.Protocol.Script_repr.expr
   * Mavryk_protocol_alpha.Protocol.Script_repr.expr)
    list ->
  (Mavryk_protocol_alpha.Protocol.Lazy_storage_kind.Big_map.Id.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.context)
    Mavryk_base.TzPervasives.tzresult
    Lwt.tmake_big_map block ~source ~key_type ~value_type key_values constructs a new big-map with the given key-type key_type and value type value_type.
The big-map is owned by a new contract that is originated from source, with script Op.dummy_script, and consists of a list of key-value pairs according to the given key_values list of Micheline expressions.