Storage (mavkit-protocol-alpha-libs.Mavryk_alpha_test_helpers.Cpmm

type t = {

tokenPool : Z.t;
xtzPool : Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t;
lqtTotal : Z.t;
tokenAddress : Mavryk_protocol_alpha.Protocol.Contract_hash.t;
lqtAddress : Mavryk_protocol_alpha.Protocol.Contract_hash.t;

}

val zero : t

val to_string : t -> string

val pp : Stdlib.Format.formatter -> t -> unit

val eq : 'a -> 'b -> bool

val to_expr : 
  loc:int ->
  t ->
  (int, Mavryk_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node

val to_michelson_string : t -> string

type exn +=

| Invalid_storage_expr of string

val of_expr_exn : 
  ('a, Mavryk_protocol_alpha.Protocol.Michelson_v1_primitives.prim)
    Mavryk_micheline.Micheline.node ->
  t

Note: parses a storage unparsed in readable mode (as e.g. returned by Alpha_services.Contract.storage), so that contracts are represented by strings.

val get : 
  Context.t ->
  contract:Mavryk_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  t Mavryk_base.TzPervasives.tzresult Lwt.t

val of_tuple : 
  (Z.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t
   * Z.t
   * Mavryk_protocol_alpha.Protocol.Contract_hash.t
   * Mavryk_protocol_alpha.Protocol.Contract_hash.t) ->
  t

val to_tuple : 
  t ->
  Z.t
  * Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t
  * Z.t
  * Mavryk_protocol_alpha.Protocol.Contract_hash.t
  * Mavryk_protocol_alpha.Protocol.Contract_hash.t

val valid : t -> bool